open Tptp
open Fol

let _ =
  let res0 = Alloy.blackbox () in
  let res = Simpl.simplifier_resultat res0 in
  print_endline (tptp_pretty_print_hyps res.res_axiomes);
  print_string "\n\n\n\n";
  List.iter (fun (name, form) -> print_endline (tptp_pretty_print_goal name form)) res.res_theoremes