The bald eagle chases the bear. The bald eagle likes the squirrel. The bald eagle needs the bear. The bear is big. The bear is green. The bear is nice. The bear likes the squirrel. The bear needs the bald eagle. The bear needs the squirrel. The squirrel chases the bald eagle. The squirrel chases the bear. The squirrel is green. The squirrel is kind. The squirrel likes the bald eagle. The squirrel needs the bald eagle. The squirrel needs the bear. If something likes the squirrel then it chases the bear. If the squirrel needs the bald eagle and the squirrel is green then the squirrel likes the bald eagle. If something needs the squirrel and it chases the bear then the bear likes the bald eagle.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something likes the squirrel then it chases the bear.
((("something" "likes" "squirrel" "+")) -> ("something" "chases" "bear" "+"))
If the squirrel needs the bald eagle and the squirrel is green then the squirrel likes the bald eagle.
((("squirrel" "needs" "bald eagle" "+") ("squirrel" "is" "green" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If something needs the squirrel and it chases the bear then the bear likes the bald eagle.
((("something" "needs" "squirrel" "+") ("something" "chases" "bear" "+")) -> ("bear" "likes" "bald eagle" "+"))
The bear is nice.
True
1
proof
[(triple6)]
("bear" "is" "nice" "+")
triple6
The squirrel does not need the bald eagle.
False
1
inv-proof
[(triple15)]
("squirrel" "needs" "bald eagle" "-")
triple15
The bear chases the bear.
True
2
proof
[(((triple7) -> rule1))]
("bear" "chases" "bear" "+")
((triple7) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not chase the bear.
False
2
inv-proof
[(((triple7) -> rule1))]
("bear" "chases" "bear" "-")
((triple7) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the bald eagle.
True
4
proof
[(((triple9 ((triple7) -> rule1)) -> rule3))]
("bear" "likes" "bald eagle" "+")
((triple9 ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear does not like the bald eagle.
False
4
inv-proof
[(((triple9 ((triple7) -> rule1)) -> rule3))]
("bear" "likes" "bald eagle" "-")
((triple9 ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle does not need the squirrel.
Unknown
inv-random
[@0: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "squirrel" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
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 OR ((triple2) -> rule1))] The bald eagle likes the squirrel.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear is big.[(triple4)] The bear is green.[(triple5)] The bear is nice.[(triple6)] The bear likes the squirrel.[(triple7)] The bear needs the bald eagle.[(triple8)] The bear needs the squirrel.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel chases the bear.[(triple11)] The squirrel is green.[(triple12)] The squirrel is kind.[(triple13)] The squirrel likes the bald eagle.[(triple14 OR ((triple15 triple12) -> rule2))] The squirrel needs the bald eagle.[(triple15)] The squirrel needs the bear.[(triple16)] @1: The bear chases the bear.[(((triple7) -> rule1))] @2: The bear likes the bald eagle.[(((triple9 ((triple7) -> rule1)) -> rule3))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
((triple2) -> (rule1 % int1))
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is nice.
("bear" "is" "nice" "+")
triple6
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple7
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple8
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple9
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple10
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple14
((triple15 triple12) -> (rule2 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple15
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple16
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple7) -> (rule1 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((triple9 ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2