The rabbit is red. All blue things are red. Red, young things are cold. All young, red things are cold. All rough, red things are young. Cold things are rough. Cold things are young. If something is blue then it is young. If something is young and blue then it is red.
The rabbit is not cold.
@0: The rabbit is red.[(triple1)]