The bald eagle likes the dog. The dog eats the bald eagle. If something eats the bald eagle then it is kind.
The dog is kind.
@0: The bald eagle likes the dog.[(triple1)] The dog eats the bald eagle.[(triple2)] @1: The dog is kind.[(((triple2) -> rule1))]