% benchmark parameters -n3 -m10000

% Independence of a Ternary Boolean Algebra axiom.

list(usable).

% The following 5 equations are a basis for Ternary Boolean Algebra.

f(f(v,w,x),y,f(v,w,z)) = f(v,w,f(x,y,z)).
% f(y,x,x) = x.  % We're showing that this axiom is independent.
f(x,x,y) = x.
f(g(y),y,x) = x.
f(x,y,g(y)) = x.

f(a,b,b) != b.

end_of_list.
