The bald eagle likes the rabbit. The lion visits the rabbit. The rabbit is kind. If the rabbit likes the bald eagle then the bald eagle is red. If something is kind then it likes the bald eagle. If something visits the rabbit and it sees the lion then the rabbit likes the lion.
The rabbit is kind.
@0: The bald eagle likes the rabbit.[(triple1)] The lion visits the rabbit.[(triple2)] The rabbit is kind.[(triple3)] @1: The rabbit likes the bald eagle.[(((triple3) -> rule2))] @2: The bald eagle is red.[(((((triple3) -> rule2)) -> rule1))]