Charlie is big. Charlie is blue. Charlie is not green. Charlie is nice. Harry is not blue. Harry is not green. Harry is smart. If someone is kind and not smart then they are nice. If Charlie is kind and Charlie is nice then Charlie is green. Smart, rough people are big. Rough people are blue. If Harry is not nice then Harry is kind. If someone is not kind and not big then they are not rough.
Charlie is not rough.