The mouse is blue. The mouse is green. The mouse is red. The mouse is young. The squirrel eats the mouse. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is red. The squirrel is young. The squirrel needs the mouse. The squirrel visits the mouse. If something eats the squirrel and the squirrel needs the mouse then the mouse needs the squirrel.
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something eats the squirrel and the squirrel needs the mouse then the mouse needs the squirrel.
((("something" "eats" "squirrel" "+") ("squirrel" "needs" "mouse" "+")) -> ("mouse" "needs" "squirrel" "+"))
The mouse is young.
True
1
proof
[(triple4)]
("mouse" "is" "young" "+")
triple4
The mouse is not blue.
False
1
inv-proof
[(triple1)]
("mouse" "is" "blue" "-")
triple1
The mouse does not need the squirrel.
Unknown
inv-rconc
[@1: The mouse needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "needs" "squirrel" "-")
The mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The mouse is blue.[(triple1)] The mouse is green.[(triple2)] The mouse is red.[(triple3)] The mouse is young.[(triple4)] The squirrel eats the mouse.[(triple5)] The squirrel is big.[(triple6)] The squirrel is blue.[(triple7)] The squirrel is green.[(triple8)] The squirrel is red.[(triple9)] The squirrel is young.[(triple10)] The squirrel needs the mouse.[(triple11)] The squirrel visits the mouse.[(triple12)]
The mouse is blue.
("mouse" "is" "blue" "+")
triple1
The mouse is green.
("mouse" "is" "green" "+")
triple2
The mouse is red.
("mouse" "is" "red" "+")
triple3
The mouse is young.
("mouse" "is" "young" "+")
triple4
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple7
The squirrel is green.
("squirrel" "is" "green" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple11
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple12