The cow is blue. The cow is kind. The cow is red. The cow is rough. The cow is young. The cow likes the mouse. The cow does not need the mouse. The cow visits the mouse. The mouse is blue. The mouse is not kind. The mouse is red. The mouse is rough. The mouse likes the cow. The mouse needs the cow. The mouse visits the cow. If someone needs the mouse and the mouse does not need the cow then the cow visits the mouse.
The cow is blue.
("cow" "is" "blue" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow does not need the mouse.
("cow" "needs" "mouse" "-")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If someone needs the mouse and the mouse does not need the cow then the cow visits the mouse.
((("someone" "needs" "mouse" "+") ("mouse" "needs" "cow" "~")) -> ("cow" "visits" "mouse" "+"))
The cow is blue.
True
1
proof
[(triple1)]
("cow" "is" "blue" "+")
triple1
The cow does not visit the mouse.
False
1
inv-proof
[(triple8)]
("cow" "visits" "mouse" "-")
triple8
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow does not need the mouse.[(triple7)] The cow is blue.[(triple1)] The cow is kind.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow is young.[(triple5)] The cow likes the mouse.[(triple6)] The cow visits the mouse.[(triple8)] The mouse is blue.[(triple9)] The mouse is not kind.[(triple10)] The mouse is red.[(triple11)] The mouse is rough.[(triple12)] The mouse likes the cow.[(triple13)] The mouse needs the cow.[(triple14)] The mouse visits the cow.[(triple15)]
The cow does not need the mouse.
("cow" "needs" "mouse" "-")
triple7
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple6
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple8
The mouse is blue.
("mouse" "is" "blue" "+")
triple9
The mouse is not kind.
("mouse" "is" "kind" "-")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple11
The mouse is rough.
("mouse" "is" "rough" "+")
triple12
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple13
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple14
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple15