% SZS status Theorem for IMP__FAL
% SZS output start Proof for IMP__FAL
  file('i/f/HolSmt/IMP__FALSE',ah4s_bools_IMPu_u_CLAUSESu_c4)).
  file('i/f/HolSmt/IMP__FALSE',ch4s_HolSmts_IMPu_u_FALSE)).
% SZS output end Proof for IMP__FAL
