Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is red. Gary is rough. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is red. All nice, red things are furry. If something is furry and nice then it is green. If something is cold and not red then it is not blue. All nice, green things are cold. If something is cold and red then it is furry. If Harry is not nice then Harry is not rough. If something is not nice then it is furry. If something is rough and not furry then it is cold.
Gary is not furry.