Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is red. Harry is blue. Harry is cold. Harry is kind. Harry is nice. Harry is red. If Harry is cold then Harry is green. If Harry is big then Harry is blue. All green people are big. If Gary is not red then Gary is not nice. If Harry is green then Harry is cold. If someone is red and not green then they are big.
Harry is not red.