Anne is not furry. Charlie is blue. Charlie is green. Charlie is white. Gary is big. Gary is blue. Harry is blue. If something is blue and rough then it is white. If Harry is green and Harry is white then Harry is blue. All big things are nice. Green things are furry. If Harry is nice then Harry is white. All furry things are rough. Nice things are green. All furry things are blue. All white things are furry.
Gary is not big.