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