set(auto).
clear(print_given).

assign(max_distinct_vars, 3).
assign(max_literals, 1).

include("booleanAx.txt").
include("peirceanAx2.txt").
include("iDef.txt").
include("nDef.txt").

include("xii.txt").
include("20To24booleanLaws.txt").

include("cycleLawA.txt").