The dog needs the mouse. The dog visits the mouse. The lion chases the mouse. The lion needs the mouse. The mouse is green. The mouse needs the dog. The tiger needs the dog. If something is green and kind then it needs the tiger. If something visits the mouse then it visits the tiger.
The dog visits the mouse.
@0: The dog needs the mouse.[(triple1)] The dog visits the mouse.[(triple2)] The lion chases the mouse.[(triple3)] The lion needs the mouse.[(triple4)] The mouse is green.[(triple5)] The mouse needs the dog.[(triple6)] The tiger needs the dog.[(triple7)] @1: The dog visits the tiger.[(((triple2) -> rule2))]