The mouse chases the squirrel. The mouse eats the squirrel. The mouse is blue. The mouse is cold. The mouse is rough. The mouse is round. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is blue. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel visits the mouse. If someone chases the mouse and the mouse is rough then they eat the squirrel. If someone eats the mouse and they are blue then the mouse chases the squirrel. If someone eats the squirrel and the squirrel is cold then they chase the mouse.
The mouse does not visit the mouse.
@0: The mouse chases the squirrel.[(triple1 OR ((triple9 triple10) -> rule2))] The mouse eats the squirrel.[(triple2)] The mouse is blue.[(triple3)] The mouse is cold.[(triple4)] The mouse is rough.[(triple5)] The mouse is round.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel chases the mouse.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is red.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The mouse chases the mouse.[(((triple2 triple11) -> rule3))] The squirrel eats the squirrel.[(((triple8 triple5) -> rule1))]