The mouse eats the squirrel. The mouse is blue. The mouse is green. The mouse is nice. The mouse is red. The mouse is young. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is not blue. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is young. The squirrel needs the mouse. The squirrel sees the mouse. If someone is nice then they see the squirrel.
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
If someone is nice then they see the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "squirrel" "+"))
The mouse eats the squirrel.
True
1
proof
[(triple1)]
("mouse" "eats" "squirrel" "+")
triple1
The mouse is not blue.
False
1
inv-proof
[(triple2)]
("mouse" "is" "blue" "-")
triple2
The squirrel sees the squirrel.
True
2
proof
[(((triple12) -> rule1))]
("squirrel" "sees" "squirrel" "+")
((triple12) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel does not see the squirrel.
False
2
inv-proof
[(((triple12) -> rule1))]
("squirrel" "sees" "squirrel" "-")
((triple12) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The mouse eats the squirrel.[(triple1)] The mouse is blue.[(triple2)] The mouse is green.[(triple3)] The mouse is nice.[(triple4)] The mouse is red.[(triple5)] The mouse is young.[(triple6)] The mouse needs the squirrel.[(triple7)] The mouse sees the squirrel.[(triple8 OR ((triple4) -> rule1))] The squirrel eats the mouse.[(triple9)] The squirrel is green.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is not blue.[(triple10)] The squirrel is red.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the mouse.[(triple15)] The squirrel sees the mouse.[(triple16)] @1: The squirrel sees the squirrel.[(((triple12) -> rule1))]
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple1
The mouse is blue.
("mouse" "is" "blue" "+")
triple2
The mouse is green.
("mouse" "is" "green" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple7
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple8
((triple4) -> (rule1 % int1))
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
int1
The squirrel eats the mouse.
("squirrel" "eats" "mouse" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel needs the mouse.
("squirrel" "needs" "mouse" "+")
triple15
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple16
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple12) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1