The bear chases the lion. The lion chases the bear. If something chases the lion then the lion sees the bear. If something eats the bear then it chases the bear.
The bear is young.
@0: The bear chases the lion.[(triple1)] The lion chases the bear.[(triple2)] @1: The lion sees the bear.[(((triple1) -> rule1))]