The cow is not green. The cow is nice. The squirrel needs the cow. If the squirrel does not like the cow then the cow does not like the squirrel.
The cow is not green.
("cow" "is" "green" "-")
The cow is nice.
("cow" "is" "nice" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If the squirrel does not like the cow then the cow does not like the squirrel.
((("squirrel" "likes" "cow" "~")) -> ("cow" "likes" "squirrel" "-"))
The squirrel needs the cow.
True
1
proof
[(triple3)]
("squirrel" "needs" "cow" "+")
triple3
The squirrel does not need the cow.
False
1
inv-proof
[(triple3)]
("squirrel" "needs" "cow" "-")
triple3
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel sees the cow.
Unknown
random
[@0: The squirrel sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cow" "+")
@0: The cow is nice.[(triple2)] The cow is not green.[(triple1)] The squirrel needs the cow.[(triple3)]
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is not green.
("cow" "is" "green" "-")
triple1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple3