The mouse eats the squirrel. The mouse is blue. The mouse is cold. The mouse is green. The mouse is kind. The mouse is round. The mouse sees the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is round. The squirrel sees the mouse. The squirrel visits the mouse. If something visits the squirrel then the squirrel is green.
The squirrel does not visit the squirrel.
@0: The mouse eats the squirrel.[(triple1)] The mouse is blue.[(triple2)] The mouse is cold.[(triple3)] The mouse is green.[(triple4)] The mouse is kind.[(triple5)] The mouse is round.[(triple6)] The mouse sees the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12 OR ((triple8) -> rule1))] The squirrel is kind.[(triple13)] The squirrel is round.[(triple14)] The squirrel sees the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)]