The mouse eats the squirrel. The mouse is red. The mouse is round. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel eats the mouse. The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel likes the mouse. The squirrel sees the mouse. If something likes the squirrel and the squirrel sees the mouse then the mouse is nice.
The mouse is not nice.
@0: The mouse eats the squirrel.[(triple1)] The mouse is red.[(triple2)] The mouse is round.[(triple3)] The mouse likes the squirrel.[(triple4)] The mouse sees the squirrel.[(triple5)] The squirrel eats the mouse.[(triple6)] The squirrel is big.[(triple7)] The squirrel is nice.[(triple8)] The squirrel is red.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the mouse.[(triple11)] The squirrel sees the mouse.[(triple12)] @1: The mouse is nice.[(((triple4 triple12) -> rule1))]