The bald eagle eats the lion. The bald eagle is young. The cow chases the lion. The cow eats the squirrel. The lion is rough. The squirrel chases the cow. The squirrel likes the lion. If the lion is big then the lion is cold. If something likes the bald eagle then it likes the cow. If something eats the bald eagle and the bald eagle is big then it likes the bald eagle. If the lion eats the cow and the cow likes the squirrel then the squirrel is young. If the bald eagle likes the cow then the bald eagle chases the lion. If something is cold and it chases the cow then it chases the squirrel. If something likes the cow and it chases the cow then it likes the squirrel. If something chases the bald eagle then it likes the squirrel.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The lion is rough.
("lion" "is" "rough" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
If the lion is big then the lion is cold.
((("lion" "is" "big" "+")) -> ("lion" "is" "cold" "+"))
If something likes the bald eagle then it likes the cow.
((("something" "likes" "bald eagle" "+")) -> ("something" "likes" "cow" "+"))
If something eats the bald eagle and the bald eagle is big then it likes the bald eagle.
((("something" "eats" "bald eagle" "+") ("bald eagle" "is" "big" "+")) -> ("something" "likes" "bald eagle" "+"))
If the lion eats the cow and the cow likes the squirrel then the squirrel is young.
((("lion" "eats" "cow" "+") ("cow" "likes" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If the bald eagle likes the cow then the bald eagle chases the lion.
((("bald eagle" "likes" "cow" "+")) -> ("bald eagle" "chases" "lion" "+"))
If something is cold and it chases the cow then it chases the squirrel.
((("something" "is" "cold" "+") ("something" "chases" "cow" "+")) -> ("something" "chases" "squirrel" "+"))
If something likes the cow and it chases the cow then it likes the squirrel.
((("something" "likes" "cow" "+") ("something" "chases" "cow" "+")) -> ("something" "likes" "squirrel" "+"))
If something chases the bald eagle then it likes the squirrel.
((("something" "chases" "bald eagle" "+")) -> ("something" "likes" "squirrel" "+"))
The cow eats the squirrel.
True
1
proof
[(triple4)]
("cow" "eats" "squirrel" "+")
triple4
The squirrel does not chase the cow.
False
1
inv-proof
[(triple6)]
("squirrel" "chases" "cow" "-")
triple6
The bald eagle does not chase the squirrel.
Unknown
inv-rconc
[@1: The bald eagle chases the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "squirrel" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is young.[(triple2)] The cow chases the lion.[(triple3)] The cow eats the squirrel.[(triple4)] The lion is rough.[(triple5)] The squirrel chases the cow.[(triple6)] The squirrel likes the lion.[(triple7)]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The cow chases the lion.
("cow" "chases" "lion" "+")
triple3
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple7