Dave is cold. Dave is furry. Dave is red. Dave is rough. Erin is big. Erin is blue. Erin is cold. Erin is rough. Gary is not blue. Gary is cold. Gary is furry. Gary is not rough. All blue things are red. All red things are cold.
Gary is not red.