Whenever the negative is necessary, the conclusion will be negative and simple: eg if it is not possible that A should belong to any, but may belong to some, it is necessary that A should not belong to some.