The dog chases the mouse. The dog eats the mouse. The dog eats the squirrel. The dog is young. The dog sees the mouse. The mouse chases the dog. The mouse chases the squirrel. The mouse eats the squirrel. The mouse is cold. The mouse is rough. The mouse sees the squirrel. The squirrel chases the mouse. The squirrel eats the dog. The squirrel eats the mouse. The squirrel sees the mouse. If someone is kind then they are young. If someone sees the dog then the dog sees the mouse. If someone sees the squirrel and the squirrel chases the dog then they chase the mouse. If someone chases the squirrel and the squirrel is cold then the squirrel sees the mouse. If someone chases the mouse and the mouse is green then the mouse eats the dog. If someone chases the dog and the dog eats the mouse then they chase the mouse.
The mouse is not rough.
@0: The dog chases the mouse.[(triple1)] The dog eats the mouse.[(triple2)] The dog eats the squirrel.[(triple3)] The dog is young.[(triple4)] The dog sees the mouse.[(triple5)] The mouse chases the dog.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse eats the squirrel.[(triple8)] The mouse is cold.[(triple9)] The mouse is rough.[(triple10)] The mouse sees the squirrel.[(triple11)] The squirrel chases the mouse.[(triple12)] The squirrel eats the dog.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel sees the mouse.[(triple15)] @1: The mouse chases the mouse.[(((triple6 triple2) -> rule6))]