Gary is big. Gary is not cold. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is white. Harry is not big. Harry is cold. Harry is green. Harry is not kind. Harry is nice. Harry is not rough. Harry is white. All cold things are green. If Harry is nice then Harry is not big. If something is cold and big then it is rough. If something is cold and not kind then it is not rough. If Gary is rough and Gary is cold then Gary is white. If something is green and white then it is nice. Rough, cold things are not big. If Harry is not nice then Harry is cold.
Gary is not green.