The bald eagle chases the squirrel. The bald eagle does not chase the tiger. The bald eagle eats the squirrel. The squirrel chases the tiger. The squirrel does not like the bald eagle. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger is not round. The tiger likes the bald eagle. The tiger likes the squirrel. If someone is blue and not big then they do not eat the tiger. If someone chases the bald eagle then they do not eat the bald eagle.
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If someone is blue and not big then they do not eat the tiger.
((("someone" "is" "blue" "+") ("someone" "is" "big" "~")) -> ("someone" "eats" "tiger" "-"))
If someone chases the bald eagle then they do not eat the bald eagle.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "-"))
The tiger likes the squirrel.
True
1
proof
[(triple10)]
("tiger" "likes" "squirrel" "+")
triple10
The tiger does not like the squirrel.
False
1
inv-proof
[(triple10)]
("tiger" "likes" "squirrel" "-")
triple10
The tiger does not eat the bald eagle.
True
2
proof
[(((triple6) -> rule2))]
("tiger" "eats" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
int1
The tiger eats the bald eagle.
False
2
inv-proof
[(((triple6) -> rule2))]
("tiger" "eats" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
int1
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
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 chases the bald eagle.
Unknown
random
[@0: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bald eagle" "+")
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle does not chase the tiger.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel does not like the bald eagle.[(triple5)] The tiger chases the bald eagle.[(triple6)] The tiger chases the squirrel.[(triple7)] The tiger is not round.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger likes the squirrel.[(triple10)] @1: The tiger does not eat the bald eagle.[(((triple6) -> rule2))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple1
The bald eagle does not chase the tiger.
("bald eagle" "chases" "tiger" "-")
triple2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple3
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple4
The squirrel does not like the bald eagle.
("squirrel" "likes" "bald eagle" "-")
triple5
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple6
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple7
The tiger is not round.
("tiger" "is" "round" "-")
triple8
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple9
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple10
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
((triple6) -> (rule2 % int1))
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
int1