the fact that the undercut does not occur is not incorrect if the auscultation occurs and the personifying idiolect occurs.
sent1: the jumbling spittoon does not occur. sent2: the undercut occurs if both the interlocking firehouse and the interlocking trust occurs. sent3: both the Coleridgianness and the lunisolarness happens. sent4: that the auscultation happens is not incorrect. sent5: if the interlocking rub-a-dub does not occur then the theosophicalness occurs or the carpalness occurs or both. sent6: that the interlocking firehouse does not occur and the personifying idiolect happens prevents that the unimpressiveness happens. sent7: the fact that the personifying woodcutter does not occur and the lacteal does not occur does not hold. sent8: if both the interlocking firehouse and the interlocking trust happens the undercut does not occur. sent9: the mercantileness does not occur. sent10: the sentimentalizing occurs. sent11: the interlocking trust happens if the Democraticness occurs. sent12: that the liposuction does not occur and the unimpressiveness does not occur is false. sent13: the exoergicness and/or the jumbling antimacassar happens. sent14: both the interlocking overlap and the interlocking tourniquet happens. sent15: that the undercutting occurs is correct. sent16: if the Eurocentricness occurs and the witch-hunt occurs then that the lowland happens hold. sent17: the undercutting occurs if the auscultation and the personifying idiolect occurs. sent18: if the jumbling pinko does not occur the Democraticness and/or the waterproofing occurs. sent19: the ghost and the concussion happens. sent20: if the riffling occurs then the finiteness happens. sent21: if the waterproofing occurs then the interlocking trust occurs. sent22: the jumbling pinko does not occur. sent23: the salting happens. sent24: the jumbling urchin happens. sent25: that not the liposuction but the unimpressiveness occurs is not true. sent26: the jumbling gripe happens if both the marathon and the sobbing occurs. sent27: if the fact that the liposuction does not occur and the unimpressiveness does not occur is incorrect the unimpressiveness occurs. sent28: that the dulling does not occur yields that the concussion happens and/or that the newspapering happens.
void -> assump2: Let's assume that the auscultation happens and the personifying idiolect happens.; assump2 -> int1: the personifying idiolect occurs.; void -> assump1: Let's assume that the interlocking firehouse does not occur.; int1 & assump1 -> int2: not the interlocking firehouse but the personifying idiolect happens.; int2 & sent6 -> int3: the unimpressiveness does not occur.; sent27 & sent12 -> int4: the unimpressiveness happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the interlocking firehouse occurs.; sent18 & sent22 -> int7: the Democraticness happens and/or the waterproofing happens.; int7 & sent11 & sent21 -> int8: the interlocking trust occurs.; int6 & int8 -> int9: the interlocking firehouse and the interlocking trust happens.; int9 & sent8 -> int10: the undercutting does not occur.; [assump2] & int10 -> hypothesis;
$hypothesis$ = the fact that the undercut does not occur is not incorrect if the auscultation occurs and the personifying idiolect occurs. ; $context$ = sent1: the jumbling spittoon does not occur. sent2: the undercut occurs if both the interlocking firehouse and the interlocking trust occurs. sent3: both the Coleridgianness and the lunisolarness happens. sent4: that the auscultation happens is not incorrect. sent5: if the interlocking rub-a-dub does not occur then the theosophicalness occurs or the carpalness occurs or both. sent6: that the interlocking firehouse does not occur and the personifying idiolect happens prevents that the unimpressiveness happens. sent7: the fact that the personifying woodcutter does not occur and the lacteal does not occur does not hold. sent8: if both the interlocking firehouse and the interlocking trust happens the undercut does not occur. sent9: the mercantileness does not occur. sent10: the sentimentalizing occurs. sent11: the interlocking trust happens if the Democraticness occurs. sent12: that the liposuction does not occur and the unimpressiveness does not occur is false. sent13: the exoergicness and/or the jumbling antimacassar happens. sent14: both the interlocking overlap and the interlocking tourniquet happens. sent15: that the undercutting occurs is correct. sent16: if the Eurocentricness occurs and the witch-hunt occurs then that the lowland happens hold. sent17: the undercutting occurs if the auscultation and the personifying idiolect occurs. sent18: if the jumbling pinko does not occur the Democraticness and/or the waterproofing occurs. sent19: the ghost and the concussion happens. sent20: if the riffling occurs then the finiteness happens. sent21: if the waterproofing occurs then the interlocking trust occurs. sent22: the jumbling pinko does not occur. sent23: the salting happens. sent24: the jumbling urchin happens. sent25: that not the liposuction but the unimpressiveness occurs is not true. sent26: the jumbling gripe happens if both the marathon and the sobbing occurs. sent27: if the fact that the liposuction does not occur and the unimpressiveness does not occur is incorrect the unimpressiveness occurs. sent28: that the dulling does not occur yields that the concussion happens and/or that the newspapering happens. ; $proof$ = 
void -> assump2: Let's assume that the auscultation happens and the personifying idiolect happens.; assump2 -> int1: the personifying idiolect occurs.; void -> assump1: Let's assume that the interlocking firehouse does not occur.; int1 & assump1 -> int2: not the interlocking firehouse but the personifying idiolect happens.; int2 & sent6 -> int3: the unimpressiveness does not occur.; sent27 & sent12 -> int4: the unimpressiveness happens.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the interlocking firehouse occurs.; sent18 & sent22 -> int7: the Democraticness happens and/or the waterproofing happens.; int7 & sent11 & sent21 -> int8: the interlocking trust occurs.; int6 & int8 -> int9: the interlocking firehouse and the interlocking trust happens.; int9 & sent8 -> int10: the undercutting does not occur.; [assump2] & int10 -> hypothesis; __PROVED__