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