set(auto).
clear(print_given).

include("peirceanAx2.txt").	  % file di assiomi

include("17To19booleanLaws.txt"). % file di lemmi
include("monotLaws.txt").	  % file di lemmi
include("ix_b.txt").		  % file di lemmi, da 'echeggiare'

include("cycleLaw.txt").	  % file di tesi