The bald eagle chases the lion. The lion sees the bald eagle. The mouse chases the squirrel. The squirrel sees the bald eagle. All round things are big. If something chases the lion then it chases the bald eagle. If something sees the lion then the lion chases the squirrel.
The mouse chases the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The lion sees the bald eagle.[(triple2)] The mouse chases the squirrel.[(triple3)] The squirrel sees the bald eagle.[(triple4)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule2))]