The bald eagle likes the lion. The cat likes the lion. The lion eats the bald eagle. If something likes the lion then it visits the bald eagle.
The lion visits the cat.
@0: The bald eagle likes the lion.[(triple1)] The cat likes the lion.[(triple2)] The lion eats the bald eagle.[(triple3)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule1))] The cat visits the bald eagle.[(((triple2) -> rule1))]