The bear chases the squirrel. The bear is cold. The squirrel needs the bear. If someone chases the squirrel then they see the squirrel. If someone sees the squirrel then they chase the bear.
The squirrel needs the bear.
@0: The bear chases the squirrel.[(triple1)] The bear is cold.[(triple2)] The squirrel needs the bear.[(triple3)] @1: The bear sees the squirrel.[(((triple1) -> rule1))] @2: The bear chases the bear.[(((((triple1) -> rule1)) -> rule2))]