The bear does not eat the squirrel. The cow likes the bear. The squirrel is not nice. If something is blue and it likes the cow then the cow is not blue. If the squirrel likes the cow then the squirrel does not like the bear.
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
The cow likes the bear.
("cow" "likes" "bear" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
If something is blue and it likes the cow then the cow is not blue.
((("something" "is" "blue" "+") ("something" "likes" "cow" "+")) -> ("cow" "is" "blue" "-"))
If the squirrel likes the cow then the squirrel does not like the bear.
((("squirrel" "likes" "cow" "+")) -> ("squirrel" "likes" "bear" "-"))
The bear does not eat the squirrel.
True
1
proof
[(triple1)]
("bear" "eats" "squirrel" "-")
triple1
The bear eats the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "eats" "squirrel" "+")
triple1
The bear does not like the squirrel.
Unknown
inv-random
[@0: The bear likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "squirrel" "-")
The cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bear does not eat the squirrel.[(triple1)] The cow likes the bear.[(triple2)] The squirrel is not nice.[(triple3)]
The bear does not eat the squirrel.
("bear" "eats" "squirrel" "-")
triple1
The cow likes the bear.
("cow" "likes" "bear" "+")
triple2
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple3