Gary is rough. Harry is blue. Harry is white. Blue, white things are rough. If Gary is furry and Gary is blue then Gary is green. If Harry is big then Harry is not red. If Harry is rough and Harry is not green then Harry is furry. If something is green and red then it is big. If something is green and not furry then it is not rough.
Harry is not rough.