The dog visits the mouse. The mouse visits the dog. The squirrel likes the dog. If something visits the mouse and the mouse likes the dog then the dog eats the mouse. If something visits the mouse then the mouse is green. If something visits the squirrel then the squirrel visits the dog. If something is big then it visits the mouse. If the dog is big then the dog eats the squirrel. If the dog eats the mouse then the mouse eats the dog.
The dog visits the mouse.
@0: The dog visits the mouse.[(triple1)] The mouse visits the dog.[(triple2)] The squirrel likes the dog.[(triple3)] @1: The mouse is green.[(((triple1) -> rule2))]