The lion likes the squirrel. The squirrel needs the lion. If something eats the squirrel and the squirrel is cold then the squirrel needs the lion. If something eats the lion then the lion does not need the squirrel.
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
If something eats the squirrel and the squirrel is cold then the squirrel needs the lion.
((("something" "eats" "squirrel" "+") ("squirrel" "is" "cold" "+")) -> ("squirrel" "needs" "lion" "+"))
If something eats the lion then the lion does not need the squirrel.
((("something" "eats" "lion" "+")) -> ("lion" "needs" "squirrel" "-"))
The squirrel needs the lion.
True
1
proof
[(triple2)]
("squirrel" "needs" "lion" "+")
triple2
The lion does not like the squirrel.
False
1
inv-proof
[(triple1)]
("lion" "likes" "squirrel" "-")
triple1
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The lion eats the squirrel.
Unknown
random
[@0: The lion eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "squirrel" "+")
@0: The lion likes the squirrel.[(triple1)] The squirrel needs the lion.[(triple2)]
The lion likes the squirrel.
("lion" "likes" "squirrel" "+")
triple1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple2