the debarment does not occur and the skinny does not occur.
sent1: if the vexing walk-through does not occur both the working spirogram and the yodeling happens. sent2: the fact that if the mousiness does not occur that both the pilot and the non-broadness happens is not right hold. sent3: that the working spirogram occurs and the mousiness happens causes the non-interlinearness. sent4: the vexing walk-through does not occur. sent5: if that the interlinearness does not occur is not incorrect the debarment does not occur and the skinny does not occur. sent6: that the broadness does not occur is not incorrect. sent7: the pilot happens.
void -> assump1: Let's assume that the mousiness does not occur.; sent2 & assump1 -> int1: that the pilot but not the broad occurs is not correct.; sent7 & sent6 -> int2: the pilot occurs but the broad does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mousiness occurs.; sent1 & sent4 -> int5: the working spirogram and the yodeling occurs.; int5 -> int6: the working spirogram occurs.; int4 & int6 -> int7: both the working spirogram and the mousiness occurs.; int7 & sent3 -> int8: the interlinearness does not occur.; int8 & sent5 -> hypothesis;
$hypothesis$ = the debarment does not occur and the skinny does not occur. ; $context$ = sent1: if the vexing walk-through does not occur both the working spirogram and the yodeling happens. sent2: the fact that if the mousiness does not occur that both the pilot and the non-broadness happens is not right hold. sent3: that the working spirogram occurs and the mousiness happens causes the non-interlinearness. sent4: the vexing walk-through does not occur. sent5: if that the interlinearness does not occur is not incorrect the debarment does not occur and the skinny does not occur. sent6: that the broadness does not occur is not incorrect. sent7: the pilot happens. ; $proof$ = 
void -> assump1: Let's assume that the mousiness does not occur.; sent2 & assump1 -> int1: that the pilot but not the broad occurs is not correct.; sent7 & sent6 -> int2: the pilot occurs but the broad does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mousiness occurs.; sent1 & sent4 -> int5: the working spirogram and the yodeling occurs.; int5 -> int6: the working spirogram occurs.; int4 & int6 -> int7: both the working spirogram and the mousiness occurs.; int7 & sent3 -> int8: the interlinearness does not occur.; int8 & sent5 -> hypothesis; __PROVED__