set(auto). clear(print_given). assign(max_seconds, 20). assign(max_distinct_vars, 3). assign(max_literals, 1). assign(max_mem, 64000). assign(max_weight, 23). formula_list(usable). all x ( x = x ). end_of_list. include("booleanAx.txt"). include("peirceanAx0.txt"). include("peirceanAx2.txt"). include("iDef.txt"). include("uzDef.txt"). include("monotLaws.txt"). % leggi di monotonicita` include("xii.txt"). % leggi del ciclo precedentemente dimostrate include("xviii_ghost.txt").