set(auto). clear(print_given). assign(max_distinct_vars, 3). assign(max_literals, 2). assign(max_mem, 10000). assign(max_weight, 20). include("booleanAx.txt"). include("peirceanAx0.txt"). include("peirceanAx2.txt"). include("nDef.txt"). include("iDef.txt"). %Kernel: include("1To4booleanLaws.txt"). include("4To8booleanLaws.txt"). include("9_10booleanLaws.txt"). include("13booleanLaws.txt"). include("26_27booleanLaws.txt"). %Layer 1: include("xxii.txt"). include("vii.txt"). %Layer 1.5: %Layer 2: include("viii.txt"). %Layer 2.5: %Layer 3: include("xv_a.txt"). include("xxvii_a.txt"). %Layer 3.5: include("subId_a_ghost.txt"). include("subIdLaws_a.txt").