The bald eagle eats the squirrel. The squirrel likes the bald eagle. The squirrel needs the bald eagle. If the bald eagle eats the squirrel and the squirrel needs the bald eagle then the bald eagle does not need the squirrel.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If the bald eagle eats the squirrel and the squirrel needs the bald eagle then the bald eagle does not need the squirrel.
((("bald eagle" "eats" "squirrel" "+") ("squirrel" "needs" "bald eagle" "+")) -> ("bald eagle" "needs" "squirrel" "-"))
The bald eagle eats the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "eats" "squirrel" "+")
triple1
The squirrel does not need the bald eagle.
False
1
inv-proof
[(triple3)]
("squirrel" "needs" "bald eagle" "-")
triple3
The bald eagle does not need the squirrel.
True
3
proof
[(((triple1 triple3) -> rule1))]
("bald eagle" "needs" "squirrel" "-")
((triple1 triple3) -> (rule1 % int1))
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
int1
The bald eagle needs the squirrel.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("bald eagle" "needs" "squirrel" "+")
((triple1 triple3) -> (rule1 % int1))
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
int1
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The squirrel eats the bald eagle.
Unknown
random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The squirrel likes the bald eagle.[(triple2)] The squirrel needs the bald eagle.[(triple3)] @1: The bald eagle does not need the squirrel.[(((triple1 triple3) -> rule1))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple3
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
((triple1 triple3) -> (rule1 % int1))
The bald eagle does not need the squirrel.
("bald eagle" "needs" "squirrel" "-")
int1