The mouse eats the squirrel. The mouse is red. The mouse is round. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is green. The squirrel is red. The squirrel is round. The squirrel needs the mouse. The squirrel visits the mouse. If the squirrel is rough and the squirrel needs the mouse then the squirrel visits the mouse. If someone eats the squirrel and the squirrel needs the mouse then the mouse needs the squirrel.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If the squirrel is rough and the squirrel needs the mouse then the squirrel visits the mouse.
((("squirrel" "is" "rough" "+") ("squirrel" "needs" "mouse" "+")) -> ("squirrel" "visits" "mouse" "+"))
If someone eats the squirrel and the squirrel needs the mouse then the mouse needs the squirrel.
((("someone" "eats" "squirrel" "+") ("squirrel" "needs" "mouse" "+")) -> ("mouse" "needs" "squirrel" "+"))
The squirrel needs the mouse.
True
1
proof
[(triple9)]
("squirrel" "needs" "mouse" "+")
triple9
The squirrel is not red.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "red" "-")
triple7
The mouse needs the squirrel.
True
3
proof
[(((triple1 triple9) -> rule2))]
("mouse" "needs" "squirrel" "+")
((triple1 triple9) -> (rule2 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The mouse does not need the squirrel.
False
3
inv-proof
[(((triple1 triple9) -> rule2))]
("mouse" "needs" "squirrel" "-")
((triple1 triple9) -> (rule2 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The mouse eats the squirrel.[(triple1)] The mouse is red.[(triple2)] The mouse is round.[(triple3)] The mouse visits the squirrel.[(triple4)] The squirrel eats the mouse.[(triple5)] The squirrel is green.[(triple6)] The squirrel is red.[(triple7)] The squirrel is round.[(triple8)] The squirrel needs the mouse.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The mouse needs the squirrel.[(((triple1 triple9) -> rule2))]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The mouse is red.
("mouse" "is" "red" "+")
triple2
The mouse is round.
("mouse" "is" "round" "+")
triple3
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple4
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple5
The squirrel is green.
("squirrel" "is" "green" "+")
triple6
The squirrel is red.
("squirrel" "is" "red" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
triple8
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple9
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple10
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
((triple1 triple9) -> (rule2 % int1))
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
int1