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