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