The dog does not need the tiger. The lion visits the mouse. The mouse sees the dog. The tiger visits the lion. If something visits the mouse then the mouse sees the lion. If something needs the dog and it does not visit the mouse then it does not see the lion. If something visits the lion and it visits the tiger then it needs the mouse. If the mouse needs the tiger and the tiger visits the mouse then the tiger visits the lion. If something needs the mouse and the mouse is not green then the mouse visits the dog. If something is big and it visits the dog then the dog visits the tiger.
The dog needs the dog.
@0: The dog does not need the tiger.[(triple1)] The lion visits the mouse.[(triple2)] The mouse sees the dog.[(triple3)] The tiger visits the lion.[(triple4)] @1: The mouse sees the lion.[(((triple2) -> rule1))]