The dog eats the mouse. The dog is blue. The dog is round. The dog visits the mouse. The dog visits the squirrel. The mouse eats the dog. The mouse eats the squirrel. The mouse is rough. The mouse is round. The mouse needs the dog. The mouse visits the dog. The mouse visits the squirrel. The squirrel eats the dog. The squirrel is rough. The squirrel is round. If someone needs the mouse and the mouse visits the squirrel then the squirrel visits the mouse. If someone eats the squirrel then the squirrel eats the mouse. If someone visits the dog then the dog needs the mouse.
The squirrel eats the mouse.
@0: The dog eats the mouse.[(triple1)] The dog is blue.[(triple2)] The dog is round.[(triple3)] The dog visits the mouse.[(triple4)] The dog visits the squirrel.[(triple5)] The mouse eats the dog.[(triple6)] The mouse eats the squirrel.[(triple7)] The mouse is rough.[(triple8)] The mouse is round.[(triple9)] The mouse needs the dog.[(triple10)] The mouse visits the dog.[(triple11)] The mouse visits the squirrel.[(triple12)] The squirrel eats the dog.[(triple13)] The squirrel is rough.[(triple14)] The squirrel is round.[(triple15)] @1: The dog needs the mouse.[(((triple11) -> rule3))] The squirrel eats the mouse.[(((triple7) -> rule2))] @2: The squirrel visits the mouse.[(((((triple11) -> rule3) triple12) -> rule1))]