Anne is blue. Dave is blue. Gary is blue. If Dave is white then Dave is blue. If something is not big and not cold then it is furry. All big things are not blue. If Dave is cold then Dave is blue. If Gary is big and Gary is not cold then Gary is furry. Young things are not furry. If Dave is not furry then Dave is blue. If something is furry and not blue then it is not red.
Dave is not furry.