The squirrel is blue. The squirrel is cold. The squirrel is red. All cold, green things are round. If something is red and green then it is round. Cold, round things are green.
The squirrel is not green.
@0: The squirrel is blue.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is red.[(triple3)]