The mouse visits the rabbit. The rabbit needs the mouse. If the mouse visits the rabbit then the mouse needs the rabbit. If something visits the rabbit and the rabbit sees the mouse then the mouse does not see the rabbit. If something needs the rabbit then it is not rough.
The mouse is not nice.
@0: The mouse visits the rabbit.[(triple1)] The rabbit needs the mouse.[(triple2)] @1: The mouse needs the rabbit.[(((triple1) -> rule1))] @2: The mouse is not rough.[(((((triple1) -> rule1)) -> rule3))]