The squirrel is green. If someone is round and not nice then they are red. If the squirrel is green then the squirrel is cold.
The squirrel is green.
@0: The squirrel is green.[(triple1)] @1: The squirrel is cold.[(((triple1) -> rule2))]