the virtuousness happens or the tubercularness happens or both.
sent1: the virtuousness is caused by that the beading ileostomy occurs. sent2: that the endergonicness does not occur hold. sent3: if the beading ileostomy does not occur not the numerating angwantibo but the matinee occurs. sent4: the schooling occurs. sent5: that the non-virtuousness and the non-tubercularness occurs is brought about by that the amelioration occurs. sent6: if that both the beading ileostomy and the virtuousness occurs does not hold the sarcolemmicness does not occur. sent7: that the beading ileostomy and the virtuousness happens does not hold if the tubercularness does not occur. sent8: if the beading ileostomy does not occur then the matinee occurs. sent9: the intuitionistness occurs. sent10: the matinee occurs. sent11: if that the numerating angwantibo does not occur and the amelioration occurs does not hold the numerating angwantibo occurs. sent12: if the fielding antiquity occurs the expulsion happens. sent13: the non-ugliness and the barring karyotype occurs. sent14: the orthographicness does not occur. sent15: that the semicentennialness occurs hold if that both the semicentennialnessness and the fielding bey occurs is not correct. sent16: the fact that the numerating angwantibo happens and the amelioration occurs is wrong. sent17: that the numerating angwantibo does not occur but the amelioration occurs is not true. sent18: the tubercularness does not occur and the amelioration does not occur if the numerating inside does not occur. sent19: that not the barring thermel but the laryngealness occurs is false.
void -> assump1: Let's assume that the beading ileostomy does not occur.; sent3 & assump1 -> int1: not the numerating angwantibo but the matinee occurs.; int1 -> int2: the numerating angwantibo does not occur.; sent11 & sent17 -> int3: the numerating angwantibo occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the beading ileostomy happens.; int5 & sent1 -> int6: the virtuousness occurs.; int6 -> hypothesis;
the fact that either the virtuousness or the tubercularness or both happens is incorrect.
 -> hypothesis;
$hypothesis$ = the virtuousness happens or the tubercularness happens or both. ; $context$ = sent1: the virtuousness is caused by that the beading ileostomy occurs. sent2: that the endergonicness does not occur hold. sent3: if the beading ileostomy does not occur not the numerating angwantibo but the matinee occurs. sent4: the schooling occurs. sent5: that the non-virtuousness and the non-tubercularness occurs is brought about by that the amelioration occurs. sent6: if that both the beading ileostomy and the virtuousness occurs does not hold the sarcolemmicness does not occur. sent7: that the beading ileostomy and the virtuousness happens does not hold if the tubercularness does not occur. sent8: if the beading ileostomy does not occur then the matinee occurs. sent9: the intuitionistness occurs. sent10: the matinee occurs. sent11: if that the numerating angwantibo does not occur and the amelioration occurs does not hold the numerating angwantibo occurs. sent12: if the fielding antiquity occurs the expulsion happens. sent13: the non-ugliness and the barring karyotype occurs. sent14: the orthographicness does not occur. sent15: that the semicentennialness occurs hold if that both the semicentennialnessness and the fielding bey occurs is not correct. sent16: the fact that the numerating angwantibo happens and the amelioration occurs is wrong. sent17: that the numerating angwantibo does not occur but the amelioration occurs is not true. sent18: the tubercularness does not occur and the amelioration does not occur if the numerating inside does not occur. sent19: that not the barring thermel but the laryngealness occurs is false. ; $proof$ = 
void -> assump1: Let's assume that the beading ileostomy does not occur.; sent3 & assump1 -> int1: not the numerating angwantibo but the matinee occurs.; int1 -> int2: the numerating angwantibo does not occur.; sent11 & sent17 -> int3: the numerating angwantibo occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the beading ileostomy happens.; int5 & sent1 -> int6: the virtuousness occurs.; int6 -> hypothesis; __PROVED__