The mouse is nice. The rabbit is green. If something is nice then it likes the rabbit. If the mouse likes the rabbit then the rabbit likes the mouse. If something likes the mouse then the mouse likes the rabbit. If something likes the mouse then the mouse eats the rabbit. If something eats the mouse then the mouse is round. If something is round then it needs the mouse.
The rabbit is not green.
@0: The mouse is nice.[(triple1)] The rabbit is green.[(triple2)] @1: The mouse likes the rabbit.[(((triple1) -> rule1))] @2: The rabbit likes the mouse.[(((((triple1) -> rule1)) -> rule2))] @3: The mouse eats the rabbit.[(((((((triple1) -> rule1)) -> rule2)) -> rule4))]