The mouse chases the squirrel. The mouse eats the squirrel. The mouse is blue. The mouse is green. The mouse is rough. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel is blue. The squirrel is green. The squirrel is red. If someone chases the mouse and the mouse is green then they are rough.
The squirrel is green.
@0: The mouse chases the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse is blue.[(triple3)] The mouse is green.[(triple4)] The mouse is rough.[(triple5)] The mouse visits the squirrel.[(triple6)] The squirrel chases the mouse.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is green.[(triple9)] The squirrel is red.[(triple10)] @1: The squirrel is rough.[(((triple7 triple4) -> rule1))]