The bald eagle chases the rabbit. The bear visits the bald eagle. The rabbit sees the bald eagle. If something visits the bear then the bear chases the bald eagle. If something chases the bald eagle then it chases the rabbit. If something chases the rabbit then it visits the bear.
The bear sees the bear.
@0: The bald eagle chases the rabbit.[(triple1)] The bear visits the bald eagle.[(triple2)] The rabbit sees the bald eagle.[(triple3)] @1: The bald eagle visits the bear.[(((triple1) -> rule3))] @2: The bear chases the bald eagle.[(((((triple1) -> rule3)) -> rule1))] @3: The bear chases the rabbit.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))] @4: The bear visits the bear.[(((((((((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule3))]