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