The bald eagle chases the bear. The bald eagle chases the cow. The bald eagle eats the squirrel. The bear is round. The cow eats the bear. The cow is young. The squirrel eats the bear. The squirrel eats the cow. The squirrel is red. The squirrel needs the bald eagle. If the cow eats the squirrel then the cow needs the bald eagle. Big things are red. If something eats the squirrel and the squirrel is round then the squirrel is young. If the bear eats the bald eagle and the bald eagle needs the squirrel then the squirrel eats the bald eagle. If the bear eats the cow and the cow is round then the cow eats the squirrel. If something is red then it is big. If the cow is cold and the cow is round then the cow chases the bear. If something needs the bear then it needs the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bear is round.
("bear" "is" "round" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is young.
("cow" "is" "young" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If the cow eats the squirrel then the cow needs the bald eagle.
((("cow" "eats" "squirrel" "+")) -> ("cow" "needs" "bald eagle" "+"))
Big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something eats the squirrel and the squirrel is round then the squirrel is young.
((("something" "eats" "squirrel" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "is" "young" "+"))
If the bear eats the bald eagle and the bald eagle needs the squirrel then the squirrel eats the bald eagle.
((("bear" "eats" "bald eagle" "+") ("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If the bear eats the cow and the cow is round then the cow eats the squirrel.
((("bear" "eats" "cow" "+") ("cow" "is" "round" "+")) -> ("cow" "eats" "squirrel" "+"))
If something is red then it is big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If the cow is cold and the cow is round then the cow chases the bear.
((("cow" "is" "cold" "+") ("cow" "is" "round" "+")) -> ("cow" "chases" "bear" "+"))
If something needs the bear then it needs the bald eagle.
((("something" "needs" "bear" "+")) -> ("something" "needs" "bald eagle" "+"))
The bald eagle chases the cow.
True
1
proof
[(triple2)]
("bald eagle" "chases" "cow" "+")
triple2
The squirrel does not eat the bear.
False
1
inv-proof
[(triple7)]
("squirrel" "eats" "bear" "-")
triple7
The squirrel is big.
True
2
proof
[(((triple9) -> rule6))]
("squirrel" "is" "big" "+")
((triple9) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is not big.
False
2
inv-proof
[(((triple9) -> rule6))]
("squirrel" "is" "big" "-")
((triple9) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel eats the bald eagle.
Unknown
rconc
[@1: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bear is round.[(triple4)] The cow eats the bear.[(triple5)] The cow is young.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel is red.[(triple9)] The squirrel needs the bald eagle.[(triple10)] @1: The squirrel is big.[(((triple9) -> rule6))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The cow eats the bear.
("cow" "eats" "bear" "+")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple7
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
((triple9) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1