Charlie is not big. Charlie is furry. Charlie is kind. Charlie is smart. Gary is big. Gary is green. Gary is kind. Harry is furry. Harry is red. Harry is smart. If Charlie is kind and Charlie is not furry then Charlie is not smart. Cold things are not furry. Smart things are green. All green things are red. If something is cold and red then it is green. If something is not furry then it is kind. If something is not red then it is smart. If Gary is big and Gary is not green then Gary is not red.
Harry is cold.