Anne is green. Anne is rough. Anne is smart. Charlie is not kind. Charlie is nice. Charlie is smart. Charlie is white. Charlie is young. Gary is nice. Gary is rough. Harry is not green. Harry is white. If Harry is smart and Harry is rough then Harry is young. If Anne is smart and Anne is rough then Anne is green. If Gary is not smart then Gary is white.
Harry is not young.