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