The bald eagle likes the dog. The cat needs the dog. The dog likes the cat. If something likes the cat then it needs the dog. If something needs the dog then it visits the bald eagle.
The dog does not visit the bald eagle.
@0: The bald eagle likes the dog.[(triple1)] The cat needs the dog.[(triple2)] The dog likes the cat.[(triple3)] @1: The cat visits the bald eagle.[(((triple2) -> rule2))] The dog needs the dog.[(((triple3) -> rule1))] @2: The dog visits the bald eagle.[(((((triple3) -> rule1)) -> rule2))]