The bald eagle likes the tiger. The tiger needs the bald eagle. If something needs the bald eagle then it needs the tiger. If something visits the bald eagle then the bald eagle does not need the tiger.
The bald eagle is nice.
@0: The bald eagle likes the tiger.[(triple1)] The tiger needs the bald eagle.[(triple2)] @1: The tiger needs the tiger.[(((triple2) -> rule1))]