% SZS status Theorem for NOT__ELI
% SZS output start Proof for NOT__ELI
  file('i/f/sat/NOT__ELIM2',ah4s_bools_IMPu_u_CLAUSESu_c4)).
  file('i/f/sat/NOT__ELIM2',ch4s_sats_NOTu_u_ELIM2)).
% SZS output end Proof for NOT__ELI
