The cow chases the rabbit. The cow chases the squirrel. The cow likes the mouse. The mouse is green. The rabbit chases the squirrel. The rabbit likes the mouse. The squirrel chases the mouse. The squirrel eats the cow. The squirrel is cold. The squirrel is kind. If something chases the cow then the cow likes the mouse.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The mouse is green.
("mouse" "is" "green" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If something chases the cow then the cow likes the mouse.
((("something" "chases" "cow" "+")) -> ("cow" "likes" "mouse" "+"))
The cow chases the rabbit.
True
1
proof
[(triple1)]
("cow" "chases" "rabbit" "+")
triple1
The mouse is not green.
False
1
inv-proof
[(triple4)]
("mouse" "is" "green" "-")
triple4
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cow chases the rabbit.[(triple1)] The cow chases the squirrel.[(triple2)] The cow likes the mouse.[(triple3)] The mouse is green.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit likes the mouse.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is kind.[(triple10)]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple3
The mouse is green.
("mouse" "is" "green" "+")
triple4
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple5
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple6
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple7
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10