
:- set_flag(variable_names,off).
:- [nnfp_mm], [leancop_o], [proof_leancop].

prove_formula(F) :- prove(F,P), make_matrix(F,M), proof_leancop(M,P).
prove_matrix(M) :- prove(M,P), proof_leancop(M,P).


