The cow eats the tiger. The mouse eats the rabbit. The rabbit needs the mouse. The tiger does not need the mouse. If something needs the mouse then it is young. If something eats the mouse then it does not need the tiger.
The tiger eats the tiger.
@0: The cow eats the tiger.[(triple1)] The mouse eats the rabbit.[(triple2)] The rabbit needs the mouse.[(triple3)] The tiger does not need the mouse.[(triple4)] @1: The rabbit is young.[(((triple3) -> rule1))]