The bald eagle needs the tiger. The dog sees the tiger. The tiger needs the bald eagle. If someone needs the bald eagle then they are nice.
The tiger is nice.
@0: The bald eagle needs the tiger.[(triple1)] The dog sees the tiger.[(triple2)] The tiger needs the bald eagle.[(triple3)] @1: The tiger is nice.[(((triple3) -> rule1))]