set(auto).
clear(print_given).

assign(max_literals, 1).
assign(max_distinct_vars, 4).
assign(max_weight, 18).

% Boolean and Peircean axioms
include("booleanAx.txt").
include("iDef.txt").  % inclusion
include("uzDef.txt"). % constant 1

include("9_10booleanLaws.txt").
include("13booleanLaws.txt").
include("20To24booleanLaws.txt").
include("i.txt").
include("iv.txt").
include("vii.txt").

include("xv_a.txt"). % degraded version of Dedekind's law

include("xvi_a.txt").