The bald eagle eats the squirrel. The bald eagle is red. The bald eagle likes the squirrel. The bald eagle likes the tiger. The bear eats the bald eagle. The bear is red. The bear is rough. The squirrel eats the bald eagle. The squirrel is red. The squirrel likes the bear. The squirrel needs the bear. The tiger is kind. The tiger is red. The tiger needs the bald eagle. The tiger needs the squirrel. If someone needs the bear then the bear is blue. If someone eats the tiger and they need the bear then they need the bald eagle. If someone is blue then they like the squirrel. If someone is blue and they like the squirrel then the squirrel is big. If someone is red then they need the bald eagle. If the bald eagle eats the bear and the bald eagle needs the bear then the bald eagle eats the squirrel.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone needs the bear then the bear is blue.
((("someone" "needs" "bear" "+")) -> ("bear" "is" "blue" "+"))
If someone eats the tiger and they need the bear then they need the bald eagle.
((("someone" "eats" "tiger" "+") ("someone" "needs" "bear" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone is blue then they like the squirrel.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone is blue and they like the squirrel then the squirrel is big.
((("someone" "is" "blue" "+") ("someone" "likes" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
If someone is red then they need the bald eagle.
((("someone" "is" "red" "+")) -> ("someone" "needs" "bald eagle" "+"))
If the bald eagle eats the bear and the bald eagle needs the bear then the bald eagle eats the squirrel.
((("bald eagle" "eats" "bear" "+") ("bald eagle" "needs" "bear" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
The tiger needs the squirrel.
True
1
proof
[(triple15)]
("tiger" "needs" "squirrel" "+")
triple15
The squirrel is not red.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "red" "-")
triple9
The bear is blue.
True
2
proof
[(((triple11) -> rule1))]
("bear" "is" "blue" "+")
((triple11) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bald eagle does not need the bald eagle.
False
2
inv-proof
[(((triple2) -> rule5))]
("bald eagle" "needs" "bald eagle" "-")
((triple2) -> (rule5 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bear likes the squirrel.
True
3
proof
[(((((triple11) -> rule1)) -> rule3))]
("bear" "likes" "squirrel" "+")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear does not like the squirrel.
False
3
inv-proof
[(((((triple11) -> rule1)) -> rule3))]
("bear" "likes" "squirrel" "-")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The squirrel is big.
True
6
proof
[(((((triple11) -> rule1) ((((triple11) -> rule1)) -> rule3)) -> rule4))]
("squirrel" "is" "big" "+")
((((triple11) -> (rule1 % int3)) ((((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The squirrel is not big.
False
6
inv-proof
[(((((triple11) -> rule1) ((((triple11) -> rule1)) -> rule3)) -> rule4))]
("squirrel" "is" "big" "-")
((((triple11) -> (rule1 % int3)) ((((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The tiger does not like the squirrel.
Unknown
inv-rconc
[@1: The tiger likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bear needs the tiger.
Unknown
random
[@0: The bear needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "tiger" "+")
The bald eagle does not need the squirrel.
Unknown
inv-random
[@0: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is red.[(triple6)] The bear is rough.[(triple7)] The squirrel eats the bald eagle.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel needs the bear.[(triple11)] The tiger is kind.[(triple12)] The tiger is red.[(triple13)] The tiger needs the bald eagle.[(triple14 OR ((triple13) -> rule5))] The tiger needs the squirrel.[(triple15)] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule5))] The bear is blue.[(((triple11) -> rule1))] The bear needs the bald eagle.[(((triple6) -> rule5))] The squirrel needs the bald eagle.[(((triple9) -> rule5))] @2: The bear likes the squirrel.[(((((triple11) -> rule1)) -> rule3))] @3: The squirrel is big.[(((((triple11) -> rule1) ((((triple11) -> rule1)) -> rule3)) -> rule4))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The bear is rough.
("bear" "is" "rough" "+")
triple7
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple10
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple14
((triple13) -> (rule5 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
((triple11) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
((triple6) -> (rule5 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((triple9) -> (rule5 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
((((triple11) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The squirrel is big.
("squirrel" "is" "big" "+")
((((triple11) -> (rule1 % int3)) ((((triple11) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3