Dave is cold. Dave is furry. Dave is nice. Dave is red. Gary is big. Gary is blue. Gary is cold. Gary is nice. Gary is white. Harry is big. Harry is blue. Harry is not cold. Harry is not furry. Harry is nice. Harry is not red. Harry is white. If Gary is not red then Gary is blue. If someone is blue and cold then they are not red. Furry, big people are white. If Dave is blue and Dave is not big then Dave is cold. All cold, blue people are not red. If someone is furry and not cold then they are nice.
Dave is not furry.