On the implication problem for factorizations of discrete probability distributions