The bald eagle does not need the squirrel. The squirrel eats the bald eagle. If something eats the bald eagle then it is not red.
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If something eats the bald eagle then it is not red.
((("something" "eats" "bald eagle" "+")) -> ("something" "is" "red" "-"))
The bald eagle does not need the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "needs" "squirrel" "-")
triple1
The bald eagle needs the squirrel.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "squirrel" "+")
triple1
The squirrel is not red.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "is" "red" "-")
((triple2) -> (rule1 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
The squirrel is red.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "is" "red" "+")
((triple2) -> (rule1 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1
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 is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The squirrel likes the bald eagle.
Unknown
random
[@0: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bald eagle" "+")
@0: The bald eagle does not need the squirrel.[(triple1)] The squirrel eats the bald eagle.[(triple2)] @1: The squirrel is not red.[(((triple2) -> rule1))]
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
triple1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple2
The squirrel is not red.
("squirrel" "is" "red" "-")
((triple2) -> (rule1 % int1))
The squirrel is not red.
("squirrel" "is" "red" "-")
int1