The bald eagle is kind. The cat sees the bald eagle. The lion needs the bald eagle. If something is nice then it likes the cat. If something likes the cat and the cat is cold then the cat likes the lion. If the cat sees the bald eagle then the cat sees the lion. If the lion likes the bald eagle and the lion needs the bald eagle then the bald eagle likes the cat. If something likes the lion and the lion sees the cat then it needs the cat. If something needs the lion and the lion is nice then it needs the bald eagle.
The cat sees the lion.
@0: The bald eagle is kind.[(triple1)] The cat sees the bald eagle.[(triple2)] The lion needs the bald eagle.[(triple3)] @1: The cat sees the lion.[(((triple2) -> rule3))]