The bald eagle eats the mouse. The cat is round. The mouse is young. The squirrel eats the cat. If something needs the cat then the cat does not need the bald eagle. If the bald eagle needs the squirrel then the squirrel does not need the cat.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The cat is round.
("cat" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
If something needs the cat then the cat does not need the bald eagle.
((("something" "needs" "cat" "+")) -> ("cat" "needs" "bald eagle" "-"))
If the bald eagle needs the squirrel then the squirrel does not need the cat.
((("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "needs" "cat" "-"))
The mouse is young.
True
1
proof
[(triple3)]
("mouse" "is" "young" "+")
triple3
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "mouse" "-")
triple1
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The bald eagle eats the mouse.[(triple1)] The cat is round.[(triple2)] The mouse is young.[(triple3)] The squirrel eats the cat.[(triple4)]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple4