set(auto). clear(print_given). assign(max_seconds,7). formula_list(usable). all x ( x = x ). end_of_list. include("booleanAx.txt"). % file di assiomi include("iDef.txt"). include("nDef.txt"). include("17To19booleanLaws.txt"). include("26_27booleanLaws.txt"). include("monotLaws.txt"). % file di tesi