both the peonage and the athleticsness occurs.
sent1: if the speaking and the non-unexcitableness happens the fact that the ctenoidness does not occur hold. sent2: if the anemography does not occur the unexcitableness does not occur. sent3: that the slaking but not the peonage happens is false if the ctenoidness does not occur. sent4: the ctenoidness happens. sent5: if the emptying does not occur that the fact that both the peonage and the athleticsness occurs is wrong is true. sent6: both the rejuvenation and the feudalness occurs if the vote does not occur. sent7: the unexcitableness happens if the fact that the anemography but not the unexcitableness happens is not true. sent8: that the speaking occurs and the latinateness does not occur is brought about by that the rejuvenation occurs. sent9: the latinateness happens and the peonage occurs. sent10: the slaking does not occur if the fact that not the emptying but the parentalness occurs does not hold. sent11: the ctenoidness does not occur and the speaking does not occur if the unexcitableness happens. sent12: if the ctenoidness happens the slaking occurs. sent13: if the athleticsness does not occur then the fact that the passableness occurs and the pitching airmailer happens is not true. sent14: the parentalness happens. sent15: if the parentalness does not occur then the slaking does not occur.
void -> assump1: Let's assume that the fact that that not the emptying but the parentalness happens is true is not correct.; sent10 & assump1 -> int1: the fact that the slaking does not occur is correct.; sent12 & sent4 -> int2: the slaking happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: not the emptying but the parentalness happens.; int4 -> int5: the emptying does not occur.; int5 & sent5 -> hypothesis;
that the passableness happens and the pitching airmailer happens does not hold.
$hypothesis$ = both the peonage and the athleticsness occurs. ; $context$ = sent1: if the speaking and the non-unexcitableness happens the fact that the ctenoidness does not occur hold. sent2: if the anemography does not occur the unexcitableness does not occur. sent3: that the slaking but not the peonage happens is false if the ctenoidness does not occur. sent4: the ctenoidness happens. sent5: if the emptying does not occur that the fact that both the peonage and the athleticsness occurs is wrong is true. sent6: both the rejuvenation and the feudalness occurs if the vote does not occur. sent7: the unexcitableness happens if the fact that the anemography but not the unexcitableness happens is not true. sent8: that the speaking occurs and the latinateness does not occur is brought about by that the rejuvenation occurs. sent9: the latinateness happens and the peonage occurs. sent10: the slaking does not occur if the fact that not the emptying but the parentalness occurs does not hold. sent11: the ctenoidness does not occur and the speaking does not occur if the unexcitableness happens. sent12: if the ctenoidness happens the slaking occurs. sent13: if the athleticsness does not occur then the fact that the passableness occurs and the pitching airmailer happens is not true. sent14: the parentalness happens. sent15: if the parentalness does not occur then the slaking does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that that not the emptying but the parentalness happens is true is not correct.; sent10 & assump1 -> int1: the fact that the slaking does not occur is correct.; sent12 & sent4 -> int2: the slaking happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: not the emptying but the parentalness happens.; int4 -> int5: the emptying does not occur.; int5 & sent5 -> hypothesis; __DISPROVED__