% benchmark parameters -N6 -p
%
% Find an ortholattice that is not orthomodular.
%

include("ortholattice").

list(usable).

% Denial of orthomodularity:

A v (c(A) ^ (A v B)) != A v B.

end_of_list.
