The bald eagle is young. The cat visits the bald eagle. The lion needs the cat. If someone visits the bald eagle then they need the cat.
The lion visits the bald eagle.
@0: The bald eagle is young.[(triple1)] The cat visits the bald eagle.[(triple2)] The lion needs the cat.[(triple3)] @1: The cat needs the cat.[(((triple2) -> rule1))]