the discoursing happens.
sent1: if the winnings does not occur then the fact that the Koranicness but not the raising happens is not correct. sent2: the easiness happens. sent3: the winnings does not occur if that the smothering and the winnings occurs is not right. sent4: the breaststroke occurs if the fact that the non-Koranicness or the raising or both occurs is not true. sent5: if the Koranicness and/or the winnings happens then the smothering does not occur. sent6: if the easiness does not occur that both the smother and the winnings happens is not correct. sent7: that the raising does not occur is brought about by that the quarter does not occur but the ball happens. sent8: the Koranicness occurs if that the quartering does not occur and the balling does not occur is not right. sent9: if the easiness happens then the raising occurs. sent10: if the winnings occurs then that the smothering does not occur is correct. sent11: the easiness does not occur if the easiness does not occur and/or the fearing beluga does not occur. sent12: the ball does not occur. sent13: if the fact that the auscultatoriness does not occur is true the easiness does not occur or the fearing beluga does not occur or both. sent14: that the raising does not occur is not wrong if the quartering does not occur and the ball does not occur. sent15: if the easiness does not occur then the discoursing happens. sent16: the discoursing is prevented by that the smother does not occur.
void -> assump1: Let's assume that the quartering does not occur and the ball does not occur.; sent14 & assump1 -> int1: the raising does not occur.; sent9 & sent2 -> int2: the raising happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the quartering does not occur and the ball does not occur is incorrect.; int4 & sent8 -> int5: the Koranicness happens.; int5 -> int6: the Koranicness and/or the winnings occurs.; int6 & sent5 -> int7: the smothering does not occur.; int7 & sent16 -> hypothesis;
the discoursing occurs.
$hypothesis$ = the discoursing happens. ; $context$ = sent1: if the winnings does not occur then the fact that the Koranicness but not the raising happens is not correct. sent2: the easiness happens. sent3: the winnings does not occur if that the smothering and the winnings occurs is not right. sent4: the breaststroke occurs if the fact that the non-Koranicness or the raising or both occurs is not true. sent5: if the Koranicness and/or the winnings happens then the smothering does not occur. sent6: if the easiness does not occur that both the smother and the winnings happens is not correct. sent7: that the raising does not occur is brought about by that the quarter does not occur but the ball happens. sent8: the Koranicness occurs if that the quartering does not occur and the balling does not occur is not right. sent9: if the easiness happens then the raising occurs. sent10: if the winnings occurs then that the smothering does not occur is correct. sent11: the easiness does not occur if the easiness does not occur and/or the fearing beluga does not occur. sent12: the ball does not occur. sent13: if the fact that the auscultatoriness does not occur is true the easiness does not occur or the fearing beluga does not occur or both. sent14: that the raising does not occur is not wrong if the quartering does not occur and the ball does not occur. sent15: if the easiness does not occur then the discoursing happens. sent16: the discoursing is prevented by that the smother does not occur. ; $proof$ = 
void -> assump1: Let's assume that the quartering does not occur and the ball does not occur.; sent14 & assump1 -> int1: the raising does not occur.; sent9 & sent2 -> int2: the raising happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the quartering does not occur and the ball does not occur is incorrect.; int4 & sent8 -> int5: the Koranicness happens.; int5 -> int6: the Koranicness and/or the winnings occurs.; int6 & sent5 -> int7: the smothering does not occur.; int7 & sent16 -> hypothesis; __DISPROVED__