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