ふたつの条件をルールとして考える
Aを人間、Bを哺乳類とすると
「人間ならば哺乳類である」と「『人間かつ哺乳類でないもの』は存在しない」は同じ意味です