Anne is smart. Charlie is green. Erin is cold. Harry is red. All rough, green things are blue. If Erin is green and Erin is red then Erin is smart. Green, red things are cold. All quiet, red things are cold. All blue things are cold. If Anne is blue then Anne is quiet. Blue things are quiet. All smart things are red.
Erin is cold.