The dog sees the mouse. The mouse needs the rabbit. The rabbit is nice. If something needs the rabbit then it is big. If something likes the dog then the dog sees the mouse. If the rabbit sees the dog then the rabbit sees the mouse.
The rabbit is nice.
@0: The dog sees the mouse.[(triple1)] The mouse needs the rabbit.[(triple2)] The rabbit is nice.[(triple3)] @1: The mouse is big.[(((triple2) -> rule1))]