The bald eagle is big. The bear chases the cat. The bear chases the cow. The bear is green. The cat does not see the bald eagle. The cow chases the bear. The cow is not big. If the cow sees the bald eagle then the cow chases the bear. If something eats the bald eagle then the bald eagle does not chase the cat. If something is cold then it does not eat the bear.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is green.
("bear" "is" "green" "+")
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is not big.
("cow" "is" "big" "-")
If the cow sees the bald eagle then the cow chases the bear.
((("cow" "sees" "bald eagle" "+")) -> ("cow" "chases" "bear" "+"))
If something eats the bald eagle then the bald eagle does not chase the cat.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "-"))
If something is cold then it does not eat the bear.
((("something" "is" "cold" "+")) -> ("something" "eats" "bear" "-"))
The bear is green.
True
1
proof
[(triple4)]
("bear" "is" "green" "+")
triple4
The bald eagle is not big.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "big" "-")
triple1
The cow does not eat the bald eagle.
Unknown
inv-random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "-")
The cow is kind.
Unknown
random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "+")
@0: The bald eagle is big.[(triple1)] The bear chases the cat.[(triple2)] The bear chases the cow.[(triple3)] The bear is green.[(triple4)] The cat does not see the bald eagle.[(triple5)] The cow chases the bear.[(triple6)] The cow is not big.[(triple7)]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bear chases the cat.
("bear" "chases" "cat" "+")
triple2
The bear chases the cow.
("bear" "chases" "cow" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The cat does not see the bald eagle.
("cat" "sees" "bald eagle" "-")
triple5
The cow chases the bear.
("cow" "chases" "bear" "+")
triple6
The cow is not big.
("cow" "is" "big" "-")
triple7