The bald eagle visits the tiger. The lion sees the tiger. The tiger visits the bald eagle. If something visits the bald eagle then the bald eagle chases the tiger.
The bald eagle does not see the tiger.
@0: The bald eagle visits the tiger.[(triple1)] The lion sees the tiger.[(triple2)] The tiger visits the bald eagle.[(triple3)] @1: The bald eagle chases the tiger.[(((triple3) -> rule1))]