The bald eagle needs the bear. The bear is not big. The cat is big. The squirrel needs the bald eagle. If someone chases the bear and they do not chase the squirrel then the squirrel does not eat the cat.
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is not big.
("bear" "is" "big" "-")
The cat is big.
("cat" "is" "big" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone chases the bear and they do not chase the squirrel then the squirrel does not eat the cat.
((("someone" "chases" "bear" "+") ("someone" "chases" "squirrel" "~")) -> ("squirrel" "eats" "cat" "-"))
The squirrel needs the bald eagle.
True
1
proof
[(triple4)]
("squirrel" "needs" "bald eagle" "+")
triple4
The bear is big.
False
1
inv-proof
[(triple2)]
("bear" "is" "big" "+")
triple2
The squirrel does not chase the bald eagle.
Unknown
inv-random
[@0: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
@0: The bald eagle needs the bear.[(triple1)] The bear is not big.[(triple2)] The cat is big.[(triple3)] The squirrel needs the bald eagle.[(triple4)]
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple1
The bear is not big.
("bear" "is" "big" "-")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple4