Anne is cold. Charlie is smart. Dave is red. Gary is not cold. Furry people are red. If someone is not white and not smart then they are quiet. All furry people are not white. If Dave is quiet then Dave is furry. Quiet, white people are red. Red, cold people are not blue.
Gary is not red.