% SZS status Theorem for EXCLUDED__MIDD
% SZS output start Proof for EXCLUDED__MIDD
  file('i/f/bool/EXCLUDED__MIDDLE',ch4s_bools_EXCLUDEDu_u_MIDDLE)).
% SZS output end Proof for EXCLUDED__MIDD
