Erin is cold. Erin is green. Erin is nice. Erin is quiet. Gary is big. Gary is cold. Gary is quiet. All cold, quiet things are green. If Gary is red then Gary is quiet. Quiet, white things are red. All cold things are red. Nice things are big. White things are cold.
Gary is not cold.