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