% SZS status Theorem for RAT__SGN__COMPLEMENT_
% SZS output start Proof for RAT__SGN__COMPLEMENT_
  file('i/f/rat/RAT__SGN__COMPLEMENT_c1',ch4s_rats_RATu_u_SGNu_u_COMPLEMENTu_c1)).
  file('i/f/rat/RAT__SGN__COMPLEMENT_c1',ah4s_rats_RATu_u_SGNu_u_TOTAL)).
  file('i/f/rat/RAT__SGN__COMPLEMENT_c1',ah4s_integers_INTu_u_EQu_u_CALCULATEu_c2)).
  file('i/f/rat/RAT__SGN__COMPLEMENT_c1',ah4s_integers_INTu_u_EQu_u_CALCULATEu_c1)).
  file('i/f/rat/RAT__SGN__COMPLEMENT_c1',ah4s_numerals_numeralu_u_distribu_c18)).
  file('i/f/rat/RAT__SGN__COMPLEMENT_c1',ah4s_numerals_numeralu_u_equ_c1)).
  file('i/f/rat/RAT__SGN__COMPLEMENT_c1',aHLu_FALSITY)).
% SZS output end Proof for RAT__SGN__COMPLEMENT_
