% SZS status Theorem for FALSI
% SZS output start Proof for FALSI
  file('i/f/bool/FALSITY',aHLu_FALSITY)).
  file('i/f/bool/FALSITY',ch4s_bools_FALSITY)).
% SZS output end Proof for FALSI
