The mouse is kind. The rabbit needs the mouse. If something sees the rabbit then the rabbit is cold. If something chases the rabbit and it sees the mouse then it chases the mouse. If something needs the mouse then the mouse sees the rabbit.
The rabbit sees the rabbit.
@0: The mouse is kind.[(triple1)] The rabbit needs the mouse.[(triple2)] @1: The mouse sees the rabbit.[(((triple2) -> rule3))] @2: The rabbit is cold.[(((((triple2) -> rule3)) -> rule1))]