consider L being trivial Ortholattice;
take L ; :: thesis: ( L is join-Associative & L is meet-Absorbing & L is de_Morgan & L is orthomodular )
thus ( L is join-Associative & L is meet-Absorbing & L is de_Morgan & L is orthomodular ) ; :: thesis: verum