% SZS status Theorem for PROB__IND
% SZS output start Proof for PROB__IND
  file('i/f/probability/PROB__INDEP',aHLu_FALSITY)).
  file('i/f/probability/PROB__INDEP',aHLu_BOOLu_CASES)).
  file('i/f/probability/PROB__INDEP',ch4s_probabilitys_PROBu_u_INDEP)).
  file('i/f/probability/PROB__INDEP',ah4s_probabilitys_indepu_u_def)).
  file('i/f/probability/PROB__INDEP',ah4s_bools_TRUTH)).
% SZS output end Proof for PROB__IND
