The bear needs the mouse. The lion needs the bear. The lion sees the bear. The lion sees the squirrel. The mouse eats the squirrel. The mouse is blue. The mouse needs the squirrel. The squirrel eats the bear. The squirrel is big. The squirrel is rough. The squirrel needs the lion. The squirrel sees the mouse. If the bear is big and the bear sees the squirrel then the bear sees the lion. If something needs the mouse and it sees the bear then the mouse needs the squirrel. If something needs the squirrel and it needs the mouse then the squirrel needs the bear. If something sees the squirrel and the squirrel sees the bear then the bear sees the lion. If something needs the lion then the lion is cold. If something sees the bear and the bear is big then the bear is young.
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If the bear is big and the bear sees the squirrel then the bear sees the lion.
((("bear" "is" "big" "+") ("bear" "sees" "squirrel" "+")) -> ("bear" "sees" "lion" "+"))
If something needs the mouse and it sees the bear then the mouse needs the squirrel.
((("something" "needs" "mouse" "+") ("something" "sees" "bear" "+")) -> ("mouse" "needs" "squirrel" "+"))
If something needs the squirrel and it needs the mouse then the squirrel needs the bear.
((("something" "needs" "squirrel" "+") ("something" "needs" "mouse" "+")) -> ("squirrel" "needs" "bear" "+"))
If something sees the squirrel and the squirrel sees the bear then the bear sees the lion.
((("something" "sees" "squirrel" "+") ("squirrel" "sees" "bear" "+")) -> ("bear" "sees" "lion" "+"))
If something needs the lion then the lion is cold.
((("something" "needs" "lion" "+")) -> ("lion" "is" "cold" "+"))
If something sees the bear and the bear is big then the bear is young.
((("something" "sees" "bear" "+") ("bear" "is" "big" "+")) -> ("bear" "is" "young" "+"))
The mouse needs the squirrel.
True
1
proof
[(triple7)]
("mouse" "needs" "squirrel" "+")
triple7
The squirrel does not eat the bear.
False
1
inv-proof
[(triple8)]
("squirrel" "eats" "bear" "-")
triple8
The bear does not see the lion.
Unknown
inv-rconc
[@1: The bear sees the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "lion" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The bear needs the mouse.[(triple1)] The lion needs the bear.[(triple2)] The lion sees the bear.[(triple3)] The lion sees the squirrel.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse is blue.[(triple6)] The mouse needs the squirrel.[(triple7)] The squirrel eats the bear.[(triple8)] The squirrel is big.[(triple9)] The squirrel is rough.[(triple10)] The squirrel needs the lion.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The lion is cold.[(((triple11) -> rule5))]
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple1
The lion needs the bear.
("lion" "needs" "bear" "+")
triple2
The lion sees the bear.
("lion" "sees" "bear" "+")
triple3
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple4
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple5
The mouse is blue.
("mouse" "is" "blue" "+")
triple6
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple7
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple10
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple11
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple12
The lion is cold.
("lion" "is" "cold" "+")
((triple11) -> (rule5 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1