The bald eagle chases the bear. The bald eagle chases the cow. The bald eagle eats the bear. The bald eagle is big. The bald eagle likes the bear. The bald eagle likes the cow. The bear chases the cow. The bear eats the cow. The bear is red. The bear likes the cow. The cow chases the bald eagle. The cow eats the bald eagle. The cow eats the bear. The cow is kind. The cow is young. If the bear chases the cow then the bear eats the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
If the bear chases the cow then the bear eats the bald eagle.
((("bear" "chases" "cow" "+")) -> ("bear" "eats" "bald eagle" "+"))
The bear chases the cow.
True
1
proof
[(triple7)]
("bear" "chases" "cow" "+")
triple7
The bald eagle does not chase the cow.
False
1
inv-proof
[(triple2)]
("bald eagle" "chases" "cow" "-")
triple2
The bear eats the bald eagle.
True
2
proof
[(((triple7) -> rule1))]
("bear" "eats" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The bear does not eat the bald eagle.
False
2
inv-proof
[(((triple7) -> rule1))]
("bear" "eats" "bald eagle" "-")
((triple7) -> (rule1 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the cow.[(triple2)] The bald eagle eats the bear.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle likes the bear.[(triple5)] The bald eagle likes the cow.[(triple6)] The bear chases the cow.[(triple7)] The bear eats the cow.[(triple8)] The bear is red.[(triple9)] The bear likes the cow.[(triple10)] The cow chases the bald eagle.[(triple11)] The cow eats the bald eagle.[(triple12)] The cow eats the bear.[(triple13)] The cow is kind.[(triple14)] The cow is young.[(triple15)] @1: The bear eats the bald eagle.[(((triple7) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple4
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple5
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple6
The bear chases the cow.
("bear" "chases" "cow" "+")
triple7
The bear eats the cow.
("bear" "eats" "cow" "+")
triple8
The bear is red.
("bear" "is" "red" "+")
triple9
The bear likes the cow.
("bear" "likes" "cow" "+")
triple10
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple11
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple12
The cow eats the bear.
("cow" "eats" "bear" "+")
triple13
The cow is kind.
("cow" "is" "kind" "+")
triple14
The cow is young.
("cow" "is" "young" "+")
triple15
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((triple7) -> (rule1 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1