The bald eagle is nice. The rabbit visits the bald eagle. If the rabbit visits the bald eagle then the bald eagle likes the rabbit.
The bald eagle is nice.
@0: The bald eagle is nice.[(triple1)] The rabbit visits the bald eagle.[(triple2)] @1: The bald eagle likes the rabbit.[(((triple2) -> rule1))]