The cat eats the mouse. The lion needs the mouse. The mouse eats the cat. The rabbit chases the mouse. If the mouse needs the rabbit and the rabbit eats the mouse then the rabbit chases the cat. Nice things are green. If something needs the mouse then the mouse is nice.
The cat needs the lion.
@0: The cat eats the mouse.[(triple1)] The lion needs the mouse.[(triple2)] The mouse eats the cat.[(triple3)] The rabbit chases the mouse.[(triple4)] @1: The mouse is nice.[(((triple2) -> rule3))] @2: The mouse is green.[(((((triple2) -> rule3)) -> rule2))]