The mouse eats the squirrel. The mouse sees the rabbit. The mouse sees the squirrel. The rabbit is cold. The rabbit is green. The squirrel eats the mouse. The squirrel eats the rabbit. The squirrel is green. The squirrel is rough. The squirrel sees the rabbit. If the squirrel is rough then the squirrel eats the mouse. If someone sees the squirrel and the squirrel eats the rabbit then the rabbit likes the squirrel.
The mouse does not see the rabbit.
@0: The mouse eats the squirrel.[(triple1)] The mouse sees the rabbit.[(triple2)] The mouse sees the squirrel.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is green.[(triple5)] The squirrel eats the mouse.[(triple6 OR ((triple9) -> rule1))] The squirrel eats the rabbit.[(triple7)] The squirrel is green.[(triple8)] The squirrel is rough.[(triple9)] The squirrel sees the rabbit.[(triple10)] @1: The rabbit likes the squirrel.[(((triple3 triple7) -> rule2))]