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