The bald eagle does not eat the squirrel. The bald eagle is not blue. The bald eagle is nice. The bald eagle is rough. The bald eagle is young. The bald eagle does not like the squirrel. The bald eagle needs the squirrel. The squirrel is not nice. The squirrel likes the bald eagle. The squirrel needs the bald eagle. If something needs the bald eagle and the bald eagle does not need the squirrel then it is nice. If the bald eagle likes the squirrel then the squirrel likes the bald eagle. If something needs the squirrel then the squirrel likes the bald eagle. If something needs the squirrel then it likes the bald eagle. If something is cold and it eats the bald eagle then it likes the squirrel. If something needs the bald eagle then it eats the bald eagle. If something likes the bald eagle and the bald eagle needs the squirrel then the squirrel is young. If the squirrel does not need the bald eagle then the squirrel eats the bald eagle.
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not like the squirrel.
("bald eagle" "likes" "squirrel" "-")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If something needs the bald eagle and the bald eagle does not need the squirrel then it is nice.
((("something" "needs" "bald eagle" "+") ("bald eagle" "needs" "squirrel" "~")) -> ("something" "is" "nice" "+"))
If the bald eagle likes the squirrel then the squirrel likes the bald eagle.
((("bald eagle" "likes" "squirrel" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If something needs the squirrel then the squirrel likes the bald eagle.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If something needs the squirrel then it likes the bald eagle.
((("something" "needs" "squirrel" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is cold and it eats the bald eagle then it likes the squirrel.
((("something" "is" "cold" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "likes" "squirrel" "+"))
If something needs the bald eagle then it eats the bald eagle.
((("something" "needs" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "+"))
If something likes the bald eagle and the bald eagle needs the squirrel then the squirrel is young.
((("something" "likes" "bald eagle" "+") ("bald eagle" "needs" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If the squirrel does not need the bald eagle then the squirrel eats the bald eagle.
((("squirrel" "needs" "bald eagle" "~")) -> ("squirrel" "eats" "bald eagle" "+"))
The bald eagle is not blue.
True
1
proof
[(triple2)]
("bald eagle" "is" "blue" "-")
triple2
The bald eagle is not rough.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "rough" "-")
triple4
The bald eagle likes the bald eagle.
True
2
proof
[(((triple7) -> rule4))]
("bald eagle" "likes" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
False
2
inv-proof
[(((triple7) -> rule4))]
("bald eagle" "likes" "bald eagle" "-")
((triple7) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The squirrel likes the squirrel.
Unknown
rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "likes" "squirrel" "+")
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 squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The bald eagle does not eat the squirrel.[(triple1)] The bald eagle does not like the squirrel.[(triple6)] The bald eagle is nice.[(triple3)] The bald eagle is not blue.[(triple2)] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the squirrel.[(triple7)] The squirrel is not nice.[(triple8)] The squirrel likes the bald eagle.[(triple9 OR ((triple7) -> rule3))] The squirrel needs the bald eagle.[(triple10)] @1: The bald eagle likes the bald eagle.[(((triple7) -> rule4))] The squirrel eats the bald eagle.[(((triple10) -> rule6))] The squirrel is young.[(((triple9 triple7) -> rule7) OR ((((triple7) -> rule3) triple7) -> rule7) OR ((((triple7) -> rule4) triple7) -> rule7))]
The bald eagle does not eat the squirrel.
("bald eagle" "eats" "squirrel" "-")
triple1
The bald eagle does not like the squirrel.
("bald eagle" "likes" "squirrel" "-")
triple6
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple7
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple8
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple9
((triple7) -> (rule3 % int1))
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple10
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple7) -> (rule4 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((triple10) -> (rule6 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
((triple9 triple7) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((((triple7) -> (rule3 % int2)) triple7) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
int2
((((triple7) -> (rule4 % int2)) triple7) -> (rule7 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2