set(auto).
clear(print_given).

assign(max_seconds,36).

include("booleanAx.txt").	% file di assiomi
include("peirceanAx0.txt").	% file di assiomi
include("peirceanAx1.txt").	% file di assiomi

include("1To3monotLaws.txt").	% file di tesi