Anne is big. Anne is not blue. Anne is green. Anne is rough. Harry is green. Harry is rough. Harry is smart. All smart things are blue. If Anne is not green then Anne is rough. If Harry is big then Harry is not red. If something is not green then it is furry. If something is not blue then it is red. If something is blue and not furry then it is big. If something is not big and not green then it is not smart. If something is smart and not big then it is rough.
Harry is furry.