On the Conditional Independence Implication Problem: A Lattice-Theoretic Approach