The mouse eats the squirrel. The mouse is big. The mouse is green. The mouse is red. The mouse is round. The mouse is not young. The mouse does not like the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is green. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the mouse. The squirrel visits the mouse. If someone is green then they visit the mouse.
The squirrel does not eat the squirrel.
@0: The mouse does not like the squirrel.[(triple7)] The mouse eats the squirrel.[(triple1)] The mouse is big.[(triple2)] The mouse is green.[(triple3)] The mouse is not young.[(triple6)] The mouse is red.[(triple4)] The mouse is round.[(triple5)] The mouse visits the squirrel.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is big.[(triple10)] The squirrel is green.[(triple11)] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel visits the mouse.[(triple16 OR ((triple11) -> rule1))] @1: The mouse visits the mouse.[(((triple3) -> rule1))]