The mouse eats the squirrel. The mouse is cold. The mouse is rough. The mouse needs the squirrel. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is cold. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel needs the mouse. The squirrel sees the mouse. If someone is cold then they need the mouse.
The squirrel sees the mouse.
@0: The mouse eats the squirrel.[(triple1)] The mouse is cold.[(triple2)] The mouse is rough.[(triple3)] The mouse needs the squirrel.[(triple4)] The mouse sees the squirrel.[(triple5)] The squirrel eats the mouse.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is rough.[(triple8)] The squirrel is round.[(triple9)] The squirrel is young.[(triple10)] The squirrel needs the mouse.[(triple11 OR ((triple7) -> rule1))] The squirrel sees the mouse.[(triple12)] @1: The mouse needs the mouse.[(((triple2) -> rule1))]