Charlie is cold. Charlie is smart. Dave is green. Dave is red. Erin is blue. Erin is green. Erin is red. Erin is white. Gary is cold. Gary is green. All smart things are white. If something is cold and smart then it is green. All blue, green things are cold. If something is white and cold then it is smart. If something is red then it is blue. Cold, nice things are white. Smart things are nice. Blue, cold things are nice. If Gary is smart and Gary is white then Gary is nice.
Dave is cold.