The mouse does not eat the squirrel. The mouse is blue. The mouse is not green. The mouse is kind. The mouse is rough. The mouse is not young. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is green. The squirrel is kind. The squirrel is rough. The squirrel is young. The squirrel likes the mouse. The squirrel sees the mouse. If someone is rough and they see the mouse then they are young. If someone likes the squirrel then the squirrel is rough. If the squirrel is young then the squirrel sees the mouse. If someone is blue then they see the squirrel. If someone eats the mouse then they are blue. If someone likes the squirrel and the squirrel is blue then they do not see the mouse.
The squirrel is blue.
@0: The mouse does not eat the squirrel.[(triple1)] The mouse is blue.[(triple2)] The mouse is kind.[(triple4)] The mouse is not green.[(triple3)] The mouse is not young.[(triple6)] The mouse is rough.[(triple5)] The mouse likes the squirrel.[(triple7)] The mouse sees the squirrel.[(triple8 OR ((triple2) -> rule4))] The squirrel eats the mouse.[(triple9)] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is rough.[(triple12 OR ((triple7) -> rule2))] The squirrel is young.[(triple13 OR ((triple12 triple15) -> rule1) OR ((((triple7) -> rule2) triple15) -> rule1))] The squirrel likes the mouse.[(triple14)] The squirrel sees the mouse.[(triple15 OR ((triple13) -> rule3))] @1: The squirrel is blue.[(((triple9) -> rule5))] @2: The mouse does not see the mouse.[(((triple7 ((triple9) -> rule5)) -> rule6))] The squirrel sees the squirrel.[(((((triple9) -> rule5)) -> rule4))]