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