% SZS status Theorem for REFL__CLAU
% SZS output start Proof for REFL__CLAU
  file('i/f/bool/REFL__CLAUSE',aHLu_TRUTH)).
  file('i/f/bool/REFL__CLAUSE',ch4s_bools_REFLu_u_CLAUSE)).
% SZS output end Proof for REFL__CLAU
