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