取引先の何らかの購入と未購入商品の論理

「ある会社の取引先はいずれもその会社の何らかの商品を購入している」ことは、取引先のいずれにも購入されていない商品が存在することと、論理的に両立する。