the medicine happens.
sent1: the internationalness happens if the Sufi happens. sent2: not the megillah but the essay occurs. sent3: that not the Sufiness but the factorizing shanny happens is wrong. sent4: if not the megillah but the essay occurs then the fact that the factorizing pademelon does not occur hold. sent5: that the internationalness does not occur is brought about by that the dioeciousness and the mucinoidness happens. sent6: the medicine occurs if the internationalness but not the apologeticness occurs. sent7: the internationalness occurs if that the non-Sufiness and the factorizing shanny happens is not right. sent8: the apologeticness does not occur. sent9: if the factorizing pademelon does not occur the dioeciousness and the circling bettor occurs.
sent7 & sent3 -> int1: the internationalness occurs.; int1 & sent8 -> int2: the internationalness happens but the apologeticness does not occur.; int2 & sent6 -> hypothesis;
the medicine does not occur.
sent4 & sent2 -> int3: the factorizing pademelon does not occur.; sent9 & int3 -> int4: the dioeciousness and the circling bettor happens.; int4 -> int5: the dioeciousness happens.;
$hypothesis$ = the medicine happens. ; $context$ = sent1: the internationalness happens if the Sufi happens. sent2: not the megillah but the essay occurs. sent3: that not the Sufiness but the factorizing shanny happens is wrong. sent4: if not the megillah but the essay occurs then the fact that the factorizing pademelon does not occur hold. sent5: that the internationalness does not occur is brought about by that the dioeciousness and the mucinoidness happens. sent6: the medicine occurs if the internationalness but not the apologeticness occurs. sent7: the internationalness occurs if that the non-Sufiness and the factorizing shanny happens is not right. sent8: the apologeticness does not occur. sent9: if the factorizing pademelon does not occur the dioeciousness and the circling bettor occurs. ; $proof$ = 
sent7 & sent3 -> int1: the internationalness occurs.; int1 & sent8 -> int2: the internationalness happens but the apologeticness does not occur.; int2 & sent6 -> hypothesis; __PROVED__