The dog visits the mouse. The mouse visits the dog. If something visits the dog and it chases the mouse then the mouse visits the dog. If something chases the mouse then the mouse needs the dog. If the mouse visits the dog then the dog needs the mouse. If something is rough and it chases the dog then it visits the mouse. If the mouse is cold and the mouse is round then the mouse is rough. If something is young then it needs the dog.
The mouse does not visit the dog.
@0: The dog visits the mouse.[(triple1)] The mouse visits the dog.[(triple2)] @1: The dog needs the mouse.[(((triple2) -> rule3))]