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