The dog is nice. The dog is red. The dog is rough. The dog is round. The mouse eats the dog. The mouse eats the squirrel. The mouse is nice. The mouse sees the dog. The mouse sees the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The squirrel is red. The squirrel is round. The squirrel sees the dog. The squirrel sees the mouse. The squirrel visits the mouse. If someone sees the mouse then they visit the squirrel. If someone visits the squirrel and they are red then they eat the dog.
The mouse visits the dog.
@0: The dog is nice.[(triple1)] The dog is red.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4)] The mouse eats the dog.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse is nice.[(triple7)] The mouse sees the dog.[(triple8)] The mouse sees the squirrel.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel eats the mouse.[(triple11)] The squirrel is red.[(triple12)] The squirrel is round.[(triple13)] The squirrel sees the dog.[(triple14)] The squirrel sees the mouse.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The squirrel visits the squirrel.[(((triple15) -> rule1))] @2: The squirrel eats the dog.[(((((triple15) -> rule1) triple12) -> rule2))]