The bald eagle chases the tiger. The squirrel is kind. The tiger is nice. If someone is kind then they like the tiger.
The bald eagle does not chase the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The squirrel is kind.[(triple2)] The tiger is nice.[(triple3)] @1: The squirrel likes the tiger.[(((triple2) -> rule1))]