I wrote a Alloy model that demonstrate every non-distributive lattice contains one of the two particular lattices as a subpseudolattice. https://gist.github.com/1108395

See also:
http://books.google.co.jp/books?id=VvCKDnCrZCgC&lpg=PA20&pg=PA20#v=onepage&q&f=false