The bear needs the squirrel. The squirrel does not like the bear. The squirrel does not need the bear. If something needs the bear and it eats the bear then it does not like the bear. If something likes the squirrel and it does not eat the bear then it likes the bear. If something needs the squirrel then it is blue. If the squirrel is kind then the squirrel is blue. If something is round then it needs the bear. If something likes the bear then the bear likes the squirrel.
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
If something needs the bear and it eats the bear then it does not like the bear.
((("something" "needs" "bear" "+") ("something" "eats" "bear" "+")) -> ("something" "likes" "bear" "-"))
If something likes the squirrel and it does not eat the bear then it likes the bear.
((("something" "likes" "squirrel" "+") ("something" "eats" "bear" "~")) -> ("something" "likes" "bear" "+"))
If something needs the squirrel then it is blue.
((("something" "needs" "squirrel" "+")) -> ("something" "is" "blue" "+"))
If the squirrel is kind then the squirrel is blue.
((("squirrel" "is" "kind" "+")) -> ("squirrel" "is" "blue" "+"))
If something is round then it needs the bear.
((("something" "is" "round" "+")) -> ("something" "needs" "bear" "+"))
If something likes the bear then the bear likes the squirrel.
((("something" "likes" "bear" "+")) -> ("bear" "likes" "squirrel" "+"))
The squirrel does not need the bear.
True
1
proof
[(triple3)]
("squirrel" "needs" "bear" "-")
triple3
The squirrel likes the bear.
False
1
inv-proof
[(triple2)]
("squirrel" "likes" "bear" "+")
triple2
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "needs" "bear" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The bear needs the squirrel.[(triple1)] The squirrel does not like the bear.[(triple2)] The squirrel does not need the bear.[(triple3)] @1: The bear is blue.[(((triple1) -> rule3))]
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple1
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
triple2
The squirrel does not need the bear.
("squirrel" "needs" "bear" "-")
triple3
The bear is blue.
("bear" "is" "blue" "+")
((triple1) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1