The mouse needs the rabbit. The rabbit eats the mouse. If something sees the rabbit then it sees the mouse. If something eats the mouse and the mouse is nice then it needs the mouse. If something needs the rabbit then it is kind. If something eats the mouse then it does not eat the rabbit. If something is kind then it sees the rabbit. If something eats the rabbit and the rabbit sees the mouse then the rabbit does not need the mouse.
The mouse sees the rabbit.
@0: The mouse needs the rabbit.[(triple1)] The rabbit eats the mouse.[(triple2)] @1: The mouse is kind.[(((triple1) -> rule3))] The rabbit does not eat the rabbit.[(((triple2) -> rule4))] @2: The mouse sees the rabbit.[(((((triple1) -> rule3)) -> rule5))] @3: The mouse sees the mouse.[(((((((triple1) -> rule3)) -> rule5)) -> rule1))]