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