The dog eats the rabbit. The mouse needs the rabbit. The rabbit visits the dog. If something needs the dog then the dog does not need the rabbit. If something eats the dog then the dog visits the mouse. If something eats the mouse then it does not visit the rabbit. If something eats the rabbit and the rabbit eats the dog then the rabbit needs the mouse. If something eats the rabbit then the rabbit visits the mouse. If something needs the mouse and the mouse does not need the rabbit then the rabbit visits the mouse.
The mouse eats the mouse.
@0: The dog eats the rabbit.[(triple1)] The mouse needs the rabbit.[(triple2)] The rabbit visits the dog.[(triple3)] @1: The rabbit visits the mouse.[(((triple1) -> rule5))]