The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is young. The squirrel chases the bald eagle. The squirrel chases the tiger. The squirrel eats the tiger. The squirrel needs the tiger. The tiger eats the bald eagle. The tiger is big. The tiger needs the bald eagle. If someone chases the bald eagle and they eat the tiger then the tiger chases the squirrel.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
If someone chases the bald eagle and they eat the tiger then the tiger chases the squirrel.
((("someone" "chases" "bald eagle" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
The bald eagle chases the tiger.
True
1
proof
[(triple1)]
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle does not eat the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "tiger" "-")
triple2
The tiger chases the squirrel.
True
3
proof
[(((triple4 triple6) -> rule1))]
("tiger" "chases" "squirrel" "+")
((triple4 triple6) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The tiger does not chase the squirrel.
False
3
inv-proof
[(((triple4 triple6) -> rule1))]
("tiger" "chases" "squirrel" "-")
((triple4 triple6) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1
The squirrel does not eat the bald eagle.
Unknown
inv-random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The tiger needs the squirrel.
Unknown
random
[@0: The tiger needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "squirrel" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is young.[(triple3)] The squirrel chases the bald eagle.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel eats the tiger.[(triple6)] The squirrel needs the tiger.[(triple7)] The tiger eats the bald eagle.[(triple8)] The tiger is big.[(triple9)] The tiger needs the bald eagle.[(triple10)] @1: The tiger chases the squirrel.[(((triple4 triple6) -> rule1))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple5
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple6
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple7
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple8
The tiger is big.
("tiger" "is" "big" "+")
triple9
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple10
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
((triple4 triple6) -> (rule1 % int1))
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
int1