the poulticing Lumpenus occurs if that the basting does not occur is not wrong.
sent1: the one-and-one occurs. sent2: the snafuing does not occur. sent3: if the poulticing heartland happens the centralization happens. sent4: the behalf happens. sent5: that not the basting but the one-and-one occurs prevents that the topspin does not occur. sent6: the poulticing Lumpenus occurs if the basting occurs. sent7: if the topspin happens then the poulticing Lumpenus happens. sent8: the ravaging occurs if the divide does not occur but the callithumpianness occurs. sent9: if the multiplying pul happens then the behalf happens. sent10: if the basting happens then the refresher does not occur.
void -> assump1: Let's assume that the basting does not occur.; assump1 & sent1 -> int1: not the basting but the one-and-one occurs.; sent5 & int1 -> int2: the topspin happens.; sent7 & int2 -> int3: the fact that the poulticing Lumpenus happens is not wrong.; [assump1] & int3 -> hypothesis;
that the refresher does not occur hold.
$hypothesis$ = the poulticing Lumpenus occurs if that the basting does not occur is not wrong. ; $context$ = sent1: the one-and-one occurs. sent2: the snafuing does not occur. sent3: if the poulticing heartland happens the centralization happens. sent4: the behalf happens. sent5: that not the basting but the one-and-one occurs prevents that the topspin does not occur. sent6: the poulticing Lumpenus occurs if the basting occurs. sent7: if the topspin happens then the poulticing Lumpenus happens. sent8: the ravaging occurs if the divide does not occur but the callithumpianness occurs. sent9: if the multiplying pul happens then the behalf happens. sent10: if the basting happens then the refresher does not occur. ; $proof$ = 
void -> assump1: Let's assume that the basting does not occur.; assump1 & sent1 -> int1: not the basting but the one-and-one occurs.; sent5 & int1 -> int2: the topspin happens.; sent7 & int2 -> int3: the fact that the poulticing Lumpenus happens is not wrong.; [assump1] & int3 -> hypothesis; __PROVED__