The cow likes the mouse. The cow needs the lion. The cow visits the squirrel. The lion likes the squirrel. The lion does not need the cow. The mouse is not big. The mouse is blue. The mouse is green. The mouse does not need the squirrel. The squirrel is blue. If the lion is rough then the lion does not need the mouse. If someone needs the lion and the lion likes the mouse then the lion does not like the cow.
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The lion does not need the cow.
("lion" "needs" "cow" "-")
The mouse is not big.
("mouse" "is" "big" "-")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse does not need the squirrel.
("mouse" "needs" "squirrel" "-")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If the lion is rough then the lion does not need the mouse.
((("lion" "is" "rough" "+")) -> ("lion" "needs" "mouse" "-"))
If someone needs the lion and the lion likes the mouse then the lion does not like the cow.
((("someone" "needs" "lion" "+") ("lion" "likes" "mouse" "+")) -> ("lion" "likes" "cow" "-"))
The lion likes the squirrel.
True
1
proof
[(triple4)]
("lion" "likes" "squirrel" "+")
triple4
The mouse is not blue.
False
1
inv-proof
[(triple7)]
("mouse" "is" "blue" "-")
triple7
The mouse does not like the lion.
Unknown
inv-random
[@0: The mouse likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "lion" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The cow likes the mouse.[(triple1)] The cow needs the lion.[(triple2)] The cow visits the squirrel.[(triple3)] The lion does not need the cow.[(triple5)] The lion likes the squirrel.[(triple4)] The mouse does not need the squirrel.[(triple9)] The mouse is blue.[(triple7)] The mouse is green.[(triple8)] The mouse is not big.[(triple6)] The squirrel is blue.[(triple10)]
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple1
The cow needs the lion.
("cow" "needs" "lion" "+")
triple2
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple3
The lion does not need the cow.
("lion" "needs" "cow" "-")
triple5
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple4
The mouse does not need the squirrel.
("mouse" "needs" "squirrel" "-")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse is not big.
("mouse" "is" "big" "-")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10