The mouse eats the squirrel. The mouse is blue. The mouse is cold. The mouse is rough. The mouse is round. The mouse is young. The mouse likes the squirrel. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is blue. The squirrel is cold. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel likes the mouse. The squirrel needs the mouse. If someone likes the squirrel and the squirrel eats the mouse then they eat the squirrel.
The squirrel does not eat the squirrel.
@0: The mouse eats the squirrel.[(triple1 OR ((triple7 triple9) -> rule1))] The mouse is blue.[(triple2)] The mouse is cold.[(triple3)] The mouse is rough.[(triple4)] The mouse is round.[(triple5)] The mouse is young.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse needs the squirrel.[(triple8)] The squirrel eats the mouse.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the mouse.[(triple15)] The squirrel needs the mouse.[(triple16)]