The bald eagle visits the tiger. The cat is not nice. The dog visits the bald eagle. The tiger is nice. If someone sees the bald eagle then the bald eagle visits the dog. If someone visits the bald eagle then they visit the dog.
The cat is nice.
@0: The bald eagle visits the tiger.[(triple1)] The cat is not nice.[(triple2)] The dog visits the bald eagle.[(triple3)] The tiger is nice.[(triple4)] @1: The dog visits the dog.[(((triple3) -> rule2))]