the participation and the ungenerousness occurs if the menopausalness does not occur.
sent1: the fact that that the frivolity and the flinging occurs is correct is brought about by the non-supernaturalness. sent2: if not the TKO but the pneumonectomy occurs then the participation occurs. sent3: the TKO does not occur. sent4: the supernatural does not occur. sent5: that the TKO and the pneumonectomy occurs prevents that the participation does not occur. sent6: the TKO does not occur if the fling occurs. sent7: that the supernatural does not occur brings about that the frivolity occurs. sent8: the TKO does not occur but the pneumonectomy occurs if the flinging happens. sent9: the arriving Dacelo occurs. sent10: the arriving Dacelo occurs if the ungenerousness does not occur. sent11: the fact that the menopausalness occurs hold if that the arriving Dacelo occurs and/or the praetorianness happens is not correct. sent12: both the participation and the ungenerousness occurs if the menopausalness happens. sent13: the menopausalness happens if that the arriving Dacelo does not occur and/or the praetorianness occurs does not hold. sent14: the retinalness occurs. sent15: the frivolity occurs. sent16: if the ungenerousness does not occur then that the arriving Dacelo does not occur or the praetorianness occurs or both is not true.
void -> assump1: Let's assume that the ungenerousness does not occur.; sent16 & assump1 -> int1: that the arriving Dacelo does not occur or the praetorianness happens or both is not correct.; int1 & sent13 -> int2: that the menopausalness occurs is not wrong.; void -> assump2: Let's assume that the menopausalness does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ungenerousness happens.; sent1 & sent4 -> int5: that the frivolity occurs and the fling occurs is not incorrect.; int5 -> int6: the fact that the flinging happens is correct.; sent8 & int6 -> int7: not the TKO but the pneumonectomy occurs.; sent2 & int7 -> int8: that the participation happens is correct.; int4 & int8 -> int9: both the participation and the ungenerousness occurs.; [assump2] & int9 -> hypothesis;
$hypothesis$ = the participation and the ungenerousness occurs if the menopausalness does not occur. ; $context$ = sent1: the fact that that the frivolity and the flinging occurs is correct is brought about by the non-supernaturalness. sent2: if not the TKO but the pneumonectomy occurs then the participation occurs. sent3: the TKO does not occur. sent4: the supernatural does not occur. sent5: that the TKO and the pneumonectomy occurs prevents that the participation does not occur. sent6: the TKO does not occur if the fling occurs. sent7: that the supernatural does not occur brings about that the frivolity occurs. sent8: the TKO does not occur but the pneumonectomy occurs if the flinging happens. sent9: the arriving Dacelo occurs. sent10: the arriving Dacelo occurs if the ungenerousness does not occur. sent11: the fact that the menopausalness occurs hold if that the arriving Dacelo occurs and/or the praetorianness happens is not correct. sent12: both the participation and the ungenerousness occurs if the menopausalness happens. sent13: the menopausalness happens if that the arriving Dacelo does not occur and/or the praetorianness occurs does not hold. sent14: the retinalness occurs. sent15: the frivolity occurs. sent16: if the ungenerousness does not occur then that the arriving Dacelo does not occur or the praetorianness occurs or both is not true. ; $proof$ = 
void -> assump1: Let's assume that the ungenerousness does not occur.; sent16 & assump1 -> int1: that the arriving Dacelo does not occur or the praetorianness happens or both is not correct.; int1 & sent13 -> int2: that the menopausalness occurs is not wrong.; void -> assump2: Let's assume that the menopausalness does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ungenerousness happens.; sent1 & sent4 -> int5: that the frivolity occurs and the fling occurs is not incorrect.; int5 -> int6: the fact that the flinging happens is correct.; sent8 & int6 -> int7: not the TKO but the pneumonectomy occurs.; sent2 & int7 -> int8: that the participation happens is correct.; int4 & int8 -> int9: both the participation and the ungenerousness occurs.; [assump2] & int9 -> hypothesis; __PROVED__