Charlie is blue. Charlie is cold. Charlie is not furry. Charlie is not kind. Charlie is nice. Dave is furry. Fiona is cold. Gary is big. Gary is cold. Gary is kind. Gary is nice. If Dave is blue and Dave is furry then Dave is not kind. If something is red then it is blue. Cold things are big. If something is red and blue then it is cold. If something is furry and not kind then it is red. If something is big then it is nice. If Dave is nice and Dave is blue then Dave is red. If Gary is red and Gary is not big then Gary is blue. If something is not red then it is nice.
Gary is furry.