The bald eagle is not blue. The bald eagle is nice. The bald eagle likes the squirrel. The bald eagle needs the squirrel. The bear is big. The bear is not round. The squirrel needs the bald eagle. If someone likes the bald eagle and they are not blue then they do not need the squirrel. If the bald eagle does not need the bear then the bald eagle is big. If the squirrel is nice and the bald eagle does not see the squirrel then the bald eagle does not see the bear.
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is not round.
("bear" "is" "round" "-")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone likes the bald eagle and they are not blue then they do not need the squirrel.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "blue" "~")) -> ("someone" "needs" "squirrel" "-"))
If the bald eagle does not need the bear then the bald eagle is big.
((("bald eagle" "needs" "bear" "~")) -> ("bald eagle" "is" "big" "+"))
If the squirrel is nice and the bald eagle does not see the squirrel then the bald eagle does not see the bear.
((("squirrel" "is" "nice" "+") ("bald eagle" "sees" "squirrel" "~")) -> ("bald eagle" "sees" "bear" "-"))
The bald eagle needs the squirrel.
True
1
proof
[(triple4)]
("bald eagle" "needs" "squirrel" "+")
triple4
The bald eagle does not need the squirrel.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "squirrel" "-")
triple4
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is nice.[(triple2)] The bald eagle is not blue.[(triple1)] The bald eagle likes the squirrel.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bear is big.[(triple5)] The bear is not round.[(triple6)] The squirrel needs the bald eagle.[(triple7)]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear is not round.
("bear" "is" "round" "-")
triple6
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple7