The bald eagle does not like the squirrel. The bear is red. The squirrel is not nice. If the squirrel likes the bear and the squirrel does not like the bald eagle then the bear does not like the bald eagle. If the squirrel is round then the squirrel needs the bald eagle.
The bald eagle does not like the squirrel.
("bald eagle" "likes" "squirrel" "-")
The bear is red.
("bear" "is" "red" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
If the squirrel likes the bear and the squirrel does not like the bald eagle then the bear does not like the bald eagle.
((("squirrel" "likes" "bear" "+") ("squirrel" "likes" "bald eagle" "~")) -> ("bear" "likes" "bald eagle" "-"))
If the squirrel is round then the squirrel needs the bald eagle.
((("squirrel" "is" "round" "+")) -> ("squirrel" "needs" "bald eagle" "+"))
The bald eagle does not like the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "likes" "squirrel" "-")
triple1
The bear is not red.
False
1
inv-proof
[(triple2)]
("bear" "is" "red" "-")
triple2
The squirrel does not need the bald eagle.
Unknown
inv-rconc
[@1: The squirrel needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "needs" "bald eagle" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle does not like the squirrel.[(triple1)] The bear is red.[(triple2)] The squirrel is not nice.[(triple3)]
The bald eagle does not like the squirrel.
("bald eagle" "likes" "squirrel" "-")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple3