The rabbit needs the squirrel. The squirrel is cold. If the rabbit needs the squirrel then the rabbit chases the squirrel.
The rabbit needs the squirrel.
@0: The rabbit needs the squirrel.[(triple1)] The squirrel is cold.[(triple2)] @1: The rabbit chases the squirrel.[(((triple1) -> rule1))]