The bald eagle sees the cat. The cat likes the lion. The lion eats the cat. If someone likes the bald eagle and they like the cat then they eat the bald eagle. If someone likes the lion then they see the lion.
The cat sees the lion.
@0: The bald eagle sees the cat.[(triple1)] The cat likes the lion.[(triple2)] The lion eats the cat.[(triple3)] @1: The cat sees the lion.[(((triple2) -> rule2))]