The bald eagle eats the tiger. The dog eats the tiger. The tiger likes the dog. If the tiger likes the dog then the tiger likes the bald eagle. If someone eats the dog and they need the dog then they are nice. If someone likes the tiger and the tiger eats the bald eagle then the tiger likes the dog.
The tiger does not like the dog.
@0: The bald eagle eats the tiger.[(triple1)] The dog eats the tiger.[(triple2)] The tiger likes the dog.[(triple3)] @1: The tiger likes the bald eagle.[(((triple3) -> rule1))]