Charlie is cold. Charlie is not furry. Charlie is not quiet. Charlie is not red. Charlie is white. Dave is blue. Dave is cold. Dave is not red. Dave is white. Gary is furry. Gary is red. Harry is blue. Harry is cold. Harry is quiet. Harry is not smart. If something is cold then it is not smart. If something is smart and not furry then it is blue. If Gary is furry then Gary is red.
Gary is not blue.