The bald eagle visits the cat. The bear sees the bald eagle. The cat needs the bald eagle. The rabbit is kind. If something sees the rabbit then it is kind. If something sees the bald eagle then it sees the rabbit.
The bald eagle is kind.
@0: The bald eagle visits the cat.[(triple1)] The bear sees the bald eagle.[(triple2)] The cat needs the bald eagle.[(triple3)] The rabbit is kind.[(triple4)] @1: The bear sees the rabbit.[(((triple2) -> rule2))] @2: The bear is kind.[(((((triple2) -> rule2)) -> rule1))]