The dog eats the squirrel. The mouse eats the squirrel. The mouse is rough. The mouse sees the squirrel. The squirrel eats the dog. The squirrel is big. The squirrel is red. The squirrel is rough. The squirrel likes the dog. The squirrel likes the mouse. If the dog eats the squirrel and the dog is green then the dog sees the mouse. If someone sees the dog then the dog sees the mouse. If the squirrel likes the dog and the squirrel is rough then the squirrel eats the mouse.
The squirrel eats the dog.
@0: The dog eats the squirrel.[(triple1)] The mouse eats the squirrel.[(triple2)] The mouse is rough.[(triple3)] The mouse sees the squirrel.[(triple4)] The squirrel eats the dog.[(triple5)] The squirrel is big.[(triple6)] The squirrel is red.[(triple7)] The squirrel is rough.[(triple8)] The squirrel likes the dog.[(triple9)] The squirrel likes the mouse.[(triple10)] @1: The squirrel eats the mouse.[(((triple9 triple8) -> rule3))]