The bald eagle is round. The bear chases the bald eagle. The cow is red. If the bear chases the bald eagle then the bald eagle visits the bear. If someone visits the bear then the bear needs the cow.
The bald eagle visits the bear.
@0: The bald eagle is round.[(triple1)] The bear chases the bald eagle.[(triple2)] The cow is red.[(triple3)] @1: The bald eagle visits the bear.[(((triple2) -> rule1))] @2: The bear needs the cow.[(((((triple2) -> rule1)) -> rule2))]