The bald eagle does not chase the cow. The cow does not like the bald eagle. The squirrel chases the bald eagle. If something is round and blue then it does not like the squirrel.
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
If something is round and blue then it does not like the squirrel.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "likes" "squirrel" "-"))
The squirrel chases the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "chases" "bald eagle" "+")
triple3
The cow likes the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "likes" "bald eagle" "+")
triple2
The cow does not like the squirrel.
Unknown
inv-random
[@0: The cow likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "squirrel" "-")
The squirrel chases the cow.
Unknown
random
[@0: The squirrel chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cow" "+")
@0: The bald eagle does not chase the cow.[(triple1)] The cow does not like the bald eagle.[(triple2)] The squirrel chases the bald eagle.[(triple3)]
The bald eagle does not chase the cow.
("bald eagle" "chases" "cow" "-")
triple1
The cow does not like the bald eagle.
("cow" "likes" "bald eagle" "-")
triple2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple3