The bear needs the squirrel. The squirrel is red. If the bear is cold and the bear needs the squirrel then the bear likes the squirrel. If someone likes the squirrel and the squirrel chases the bear then the bear needs the squirrel. If someone likes the bear then the bear chases the squirrel. If someone is round then they chase the squirrel. If someone chases the squirrel then they need the bear. If someone chases the bear then the bear needs the squirrel.
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If the bear is cold and the bear needs the squirrel then the bear likes the squirrel.
((("bear" "is" "cold" "+") ("bear" "needs" "squirrel" "+")) -> ("bear" "likes" "squirrel" "+"))
If someone likes the squirrel and the squirrel chases the bear then the bear needs the squirrel.
((("someone" "likes" "squirrel" "+") ("squirrel" "chases" "bear" "+")) -> ("bear" "needs" "squirrel" "+"))
If someone likes the bear then the bear chases the squirrel.
((("someone" "likes" "bear" "+")) -> ("bear" "chases" "squirrel" "+"))
If someone is round then they chase the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the squirrel then they need the bear.
((("someone" "chases" "squirrel" "+")) -> ("someone" "needs" "bear" "+"))
If someone chases the bear then the bear needs the squirrel.
((("someone" "chases" "bear" "+")) -> ("bear" "needs" "squirrel" "+"))
The bear needs the squirrel.
True
1
proof
[(triple1)]
("bear" "needs" "squirrel" "+")
triple1
The squirrel is not red.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "red" "-")
triple2
The squirrel does not need the bear.
Unknown
inv-rconc
[@2: The squirrel needs the bear.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("squirrel" "needs" "bear" "-")
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 squirrel is red.[(triple2)]
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple1
The squirrel is red.
("squirrel" "is" "red" "+")
triple2