The bald eagle is blue. The bear visits the bald eagle. The cat does not eat the bear. The cow eats the cat. If someone visits the bald eagle and they need the bald eagle then the bald eagle is not red.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The cat does not eat the bear.
("cat" "eats" "bear" "-")
The cow eats the cat.
("cow" "eats" "cat" "+")
If someone visits the bald eagle and they need the bald eagle then the bald eagle is not red.
((("someone" "visits" "bald eagle" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "red" "-"))
The bald eagle is blue.
True
1
proof
[(triple1)]
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The bald eagle is blue.[(triple1)] The bear visits the bald eagle.[(triple2)] The cat does not eat the bear.[(triple3)] The cow eats the cat.[(triple4)]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple2
The cat does not eat the bear.
("cat" "eats" "bear" "-")
triple3
The cow eats the cat.
("cow" "eats" "cat" "+")
triple4