The cow chases the squirrel. The cow eats the mouse. The cow is big. The cow is round. The cow needs the mouse. The mouse chases the rabbit. The mouse eats the cow. The rabbit chases the mouse. The squirrel chases the rabbit. The squirrel eats the mouse. The squirrel is big. The squirrel is blue. The squirrel is round. The squirrel is young. The squirrel needs the cow. The squirrel needs the rabbit. If something chases the rabbit and it needs the rabbit then the rabbit chases the mouse. If the rabbit needs the mouse and the mouse eats the squirrel then the squirrel chases the rabbit.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If something chases the rabbit and it needs the rabbit then the rabbit chases the mouse.
((("something" "chases" "rabbit" "+") ("something" "needs" "rabbit" "+")) -> ("rabbit" "chases" "mouse" "+"))
If the rabbit needs the mouse and the mouse eats the squirrel then the squirrel chases the rabbit.
((("rabbit" "needs" "mouse" "+") ("mouse" "eats" "squirrel" "+")) -> ("squirrel" "chases" "rabbit" "+"))
The cow needs the mouse.
True
1
proof
[(triple5)]
("cow" "needs" "mouse" "+")
triple5
The cow does not need the mouse.
False
1
inv-proof
[(triple5)]
("cow" "needs" "mouse" "-")
triple5
The rabbit does not need the mouse.
Unknown
inv-random
[@0: The rabbit needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "mouse" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The cow chases the squirrel.[(triple1)] The cow eats the mouse.[(triple2)] The cow is big.[(triple3)] The cow is round.[(triple4)] The cow needs the mouse.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse eats the cow.[(triple7)] The rabbit chases the mouse.[(triple8 OR ((triple9 triple16) -> rule1))] The squirrel chases the rabbit.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is big.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the cow.[(triple15)] The squirrel needs the rabbit.[(triple16)]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
The cow is big.
("cow" "is" "big" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple5
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple6
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple7
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple8
((triple9 triple16) -> (rule1 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple15
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple16