The bald eagle is round. The bear eats the rabbit. The rabbit needs the bear. If someone needs the bear then they visit the bald eagle. If someone visits the bald eagle and the bald eagle is round then the bald eagle visits the bear.
The bald eagle visits the bear.
@0: The bald eagle is round.[(triple1)] The bear eats the rabbit.[(triple2)] The rabbit needs the bear.[(triple3)] @1: The rabbit visits the bald eagle.[(((triple3) -> rule1))] @2: The bald eagle visits the bear.[(((((triple3) -> rule1) triple1) -> rule2))]