Erin is red. If Erin is green then Erin is young. Blue, red things are cold. White, green things are blue. If something is round and red then it is young. All green, round things are cold. If something is green then it is young. Green, young things are round. Young, blue things are cold.
Erin is not cold.
@0: Erin is red.[(triple1)]