the mastoidectomy happens.
sent1: that the bouncing does not occur is not wrong if the fact that not the spectating setup but the bouncing happens is not right. sent2: the pleomorphicness happens if the trophicness occurs. sent3: the fact that both the massaging and the road happens does not hold if the prostheticness occurs. sent4: that the refreshment occurs prevents that the mastoidectomy does not occur. sent5: the road does not occur. sent6: the prostheticness occurs. sent7: if the fact that the bouncing does not occur is not false the defense does not occur and the albuminuricness does not occur. sent8: if the pleomorphicness happens then that not the spectating setup but the bounce happens does not hold. sent9: that both the non-irrationalness and the disagreeableness occurs is brought about by the efflorescence. sent10: if the defense does not occur then the fact that the prostheticness and the tonsure occurs is false. sent11: the anestheticness does not occur. sent12: that the thrombosing schedule does not occur prevents that the road happens. sent13: the fact that the massage happens and the road happens does not hold. sent14: that the massaging but not the road occurs is not correct if the prostheticness occurs. sent15: the non-astragalarness leads to that the trophicness occurs and the high-energiness occurs. sent16: the astragalarness does not occur if both the non-irrationalness and the disagreeableness occurs. sent17: if the thrombosing schedule does not occur then the massage but not the road happens. sent18: if that the prostheticness and the tonsuring happens does not hold then the refreshment does not occur.
void -> assump1: Let's assume that the thrombosing schedule does not occur.; sent17 & assump1 -> int1: the massage happens and the road does not occur.; sent14 & sent6 -> int2: that the massage but not the road occurs is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the thrombosing schedule occurs.;
the mastoidectomy does not occur.
$hypothesis$ = the mastoidectomy happens. ; $context$ = sent1: that the bouncing does not occur is not wrong if the fact that not the spectating setup but the bouncing happens is not right. sent2: the pleomorphicness happens if the trophicness occurs. sent3: the fact that both the massaging and the road happens does not hold if the prostheticness occurs. sent4: that the refreshment occurs prevents that the mastoidectomy does not occur. sent5: the road does not occur. sent6: the prostheticness occurs. sent7: if the fact that the bouncing does not occur is not false the defense does not occur and the albuminuricness does not occur. sent8: if the pleomorphicness happens then that not the spectating setup but the bounce happens does not hold. sent9: that both the non-irrationalness and the disagreeableness occurs is brought about by the efflorescence. sent10: if the defense does not occur then the fact that the prostheticness and the tonsure occurs is false. sent11: the anestheticness does not occur. sent12: that the thrombosing schedule does not occur prevents that the road happens. sent13: the fact that the massage happens and the road happens does not hold. sent14: that the massaging but not the road occurs is not correct if the prostheticness occurs. sent15: the non-astragalarness leads to that the trophicness occurs and the high-energiness occurs. sent16: the astragalarness does not occur if both the non-irrationalness and the disagreeableness occurs. sent17: if the thrombosing schedule does not occur then the massage but not the road happens. sent18: if that the prostheticness and the tonsuring happens does not hold then the refreshment does not occur. ; $proof$ = 
void -> assump1: Let's assume that the thrombosing schedule does not occur.; sent17 & assump1 -> int1: the massage happens and the road does not occur.; sent14 & sent6 -> int2: that the massage but not the road occurs is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the thrombosing schedule occurs.; __UNKNOWN__