The bear needs the squirrel. The squirrel needs the bear. If something needs the squirrel and it eats the bear then the squirrel is nice.
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something needs the squirrel and it eats the bear then the squirrel is nice.
((("something" "needs" "squirrel" "+") ("something" "eats" "bear" "+")) -> ("squirrel" "is" "nice" "+"))
The squirrel needs the bear.
True
1
proof
[(triple2)]
("squirrel" "needs" "bear" "+")
triple2
The squirrel does not need the bear.
False
1
inv-proof
[(triple2)]
("squirrel" "needs" "bear" "-")
triple2
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "nice" "-")
The bear sees the squirrel.
Unknown
random
[@0: The bear sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "squirrel" "+")
@0: The bear needs the squirrel.[(triple1)] The squirrel needs the bear.[(triple2)]
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple1
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple2