The cat is not green. The cow likes the mouse. The mouse eats the cat. If someone needs the cow and the cow does not eat the cat then the cow does not need the cat.
The cat is not green.
("cat" "is" "green" "-")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
If someone needs the cow and the cow does not eat the cat then the cow does not need the cat.
((("someone" "needs" "cow" "+") ("cow" "eats" "cat" "~")) -> ("cow" "needs" "cat" "-"))
The cow likes the mouse.
True
1
proof
[(triple2)]
("cow" "likes" "mouse" "+")
triple2
The cow does not like the mouse.
False
1
inv-proof
[(triple2)]
("cow" "likes" "mouse" "-")
triple2
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 cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The cat is not green.[(triple1)] The cow likes the mouse.[(triple2)] The mouse eats the cat.[(triple3)]
The cat is not green.
("cat" "is" "green" "-")
triple1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple2
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple3