The squirrel is red. All green, rough people are red. Green, rough people are round. Red people are cold.
The squirrel is not cold.
@0: The squirrel is red.[(triple1)] @1: The squirrel is cold.[(((triple1) -> rule3))]