The mouse does not chase the squirrel. The mouse is cold. The mouse is rough. The mouse is round. The mouse is young. The mouse likes the squirrel. The mouse does not see the squirrel. The squirrel is cold. The squirrel is rough. The squirrel is round. The squirrel likes the mouse. The squirrel sees the mouse. Cold people are young.
The mouse sees the squirrel.
@0: The mouse does not chase the squirrel.[(triple1)] The mouse does not see the squirrel.[(triple7)] The mouse is cold.[(triple2)] The mouse is rough.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple2) -> rule1))] The mouse likes the squirrel.[(triple6)] The squirrel is cold.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the mouse.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The squirrel is young.[(((triple8) -> rule1))]