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 does not need the squirrel.
@0: The squirrel is green.[(triple1)] @1: The squirrel is cold.[(((triple1) -> rule2))]