The cat is nice. The mouse is green. The squirrel is cold. If someone is cold then they chase the mouse.
The cat does not chase the mouse.
@0: The cat is nice.[(triple1)] The mouse is green.[(triple2)] The squirrel is cold.[(triple3)] @1: The squirrel chases the mouse.[(((triple3) -> rule1))]