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