The bald eagle chases the cow. The bald eagle visits the cow. The cow eats the bald eagle. If something is cold and it chases the cow then the cow eats the bald eagle.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
If something is cold and it chases the cow then the cow eats the bald eagle.
((("something" "is" "cold" "+") ("something" "chases" "cow" "+")) -> ("cow" "eats" "bald eagle" "+"))
The bald eagle chases the cow.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle does not visit the cow.
False
1
inv-proof
[(triple2)]
("bald eagle" "visits" "cow" "-")
triple2
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle visits the cow.[(triple2)] The cow eats the bald eagle.[(triple3)]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3