The bald eagle is young. The cat likes the bald eagle. The lion needs the cat. If something likes the bald eagle then it likes the lion. If something likes the cat then the cat needs the lion.
The cat does not like the lion.
@0: The bald eagle is young.[(triple1)] The cat likes the bald eagle.[(triple2)] The lion needs the cat.[(triple3)] @1: The cat likes the lion.[(((triple2) -> rule1))]