The bald eagle chases the bear. The bald eagle is big. The bald eagle is green. The bear chases the bald eagle. The bear eats the bald eagle. The bear is big. The bear is cold. The bear is green. The bear is round. The bear likes the bald eagle. If something chases the bald eagle and the bald eagle chases the bear then the bear chases the bald eagle. If the bald eagle is green and the bald eagle is not big then the bald eagle chases the bear.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
If something chases the bald eagle and the bald eagle chases the bear then the bear chases the bald eagle.
((("something" "chases" "bald eagle" "+") ("bald eagle" "chases" "bear" "+")) -> ("bear" "chases" "bald eagle" "+"))
If the bald eagle is green and the bald eagle is not big then the bald eagle chases the bear.
((("bald eagle" "is" "green" "+") ("bald eagle" "is" "big" "~")) -> ("bald eagle" "chases" "bear" "+"))
The bald eagle is big.
True
1
proof
[(triple2)]
("bald eagle" "is" "big" "+")
triple2
The bear does not eat the bald eagle.
False
1
inv-proof
[(triple5)]
("bear" "eats" "bald eagle" "-")
triple5
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear is big.[(triple6)] The bear is cold.[(triple7)] The bear is green.[(triple8)] The bear is round.[(triple9)] The bear likes the bald eagle.[(triple10)]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple5
The bear is big.
("bear" "is" "big" "+")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple7
The bear is green.
("bear" "is" "green" "+")
triple8
The bear is round.
("bear" "is" "round" "+")
triple9
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple10