Dave is blue. Dave is not cold. Dave is smart. Erin is not cold. Erin is green. Erin is white. Gary is green. Blue, kind things are cold. If Gary is cold and Gary is blue then Gary is smart. All green, white things are blue.
Erin is not green.