The cow needs the mouse. The dog eats the mouse. The mouse is rough. If someone eats the dog then the dog needs the mouse. If someone needs the mouse and they are rough then the mouse needs the cow. If someone needs the mouse then they eat the dog. If someone needs the cow and they eat the mouse then they need the dog. If someone eats the dog and the dog is cold then they are nice. If someone visits the mouse then they need the dog.
The cow needs the dog.
@0: The cow needs the mouse.[(triple1)] The dog eats the mouse.[(triple2)] The mouse is rough.[(triple3)] @1: The cow eats the dog.[(((triple1) -> rule3))] @2: The dog needs the mouse.[(((((triple1) -> rule3)) -> rule1))] @3: The dog eats the dog.[(((((((triple1) -> rule3)) -> rule1)) -> rule3))]