The cat needs the tiger. The lion likes the cat. The mouse sees the tiger. The tiger sees the mouse. If someone sees the tiger then the tiger likes the mouse.
The lion does not like the cat.
@0: The cat needs the tiger.[(triple1)] The lion likes the cat.[(triple2)] The mouse sees the tiger.[(triple3)] The tiger sees the mouse.[(triple4)] @1: The tiger likes the mouse.[(((triple3) -> rule1))]