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