The bald eagle eats the tiger. The bear chases the tiger. The tiger does not chase the bear. If someone chases the bald eagle and the bald eagle needs the tiger then they eat the bald eagle. If the tiger does not chase the bear then the tiger needs the bear.
The bear does not eat the bald eagle.
@0: The bald eagle eats the tiger.[(triple1)] The bear chases the tiger.[(triple2)] The tiger does not chase the bear.[(triple3)] @1: The tiger needs the bear.[(((triple3) -> rule2))]