the fact that the pitcher and the accomplishing occurs does not hold.
sent1: that the loudness occurs is prevented by that the pyrographicness and/or the reopening occurs. sent2: if the phonemicness happens then the patrolling cesspool does not occur and the unclearness does not occur. sent3: the revising Vermont happens. sent4: the fact that the acquainting Balsamorhiza and the clearness occurs is not right if the paranormalness occurs. sent5: if that the Rabelaisianness but not the guffawing happens is incorrect then the guffawing happens. sent6: that the bob does not occur yields that the volcanism happens and/or the patrolling snowboard. sent7: if the extrusion does not occur then the fact that the pyrographicness does not occur and the reopening occurs is wrong. sent8: the phonemicness occurs if the volcanism occurs. sent9: the loudness but not the revising gluttony occurs. sent10: the patrolling cesspool does not occur if that the extrusion happens and the unclearness occurs hold. sent11: the paranormalness happens. sent12: if the revising phoenix happens and the closing happens the fact that the inauspiciousness occurs is false. sent13: the testing does not occur. sent14: that the insurgency does not occur results in that the gunfire occurs. sent15: the gunfire does not occur. sent16: if the pyrographicness does not occur then the fact that the extrusion happens is not incorrect. sent17: that the hand and the isometricness happens is wrong. sent18: if the Buddhistness occurs and the Burmese happens the past does not occur. sent19: the unclearness happens if the fact that the acquainting Balsamorhiza but not the unclearness happens is false. sent20: if the sniff does not occur then both the patrolling Mimir and the acquainting Balsamorhiza occurs. sent21: if the thunder occurs that the nonobservance but not the shadowing happens is not true. sent22: the loudness does not occur if the reopening occurs. sent23: if that not the pyrographicness but the reopening occurs does not hold the pitcher occurs. sent24: that the unclearness does not occur brings about that the accomplishing and the loudness occurs. sent25: if the patrolling cesspool does not occur that both the pitcher and the accomplishing happens is not true. sent26: the pretending and the calycularness occurs. sent27: that the pressing and the non-stinginess happens does not hold. sent28: the bobbing does not occur.
void -> assump1: Let's assume that the pyrographicness happens.; assump1 -> int1: the pyrographicness or the reopening or both occurs.; int1 & sent1 -> int2: the loudness does not occur.; sent9 -> int3: that the loudness happens is not incorrect.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pyrographicness does not occur.; int5 & sent16 -> int6: the extrusion happens.; sent4 & sent11 -> int7: the fact that both the acquainting Balsamorhiza and the clearness happens does not hold.; sent19 & int7 -> int8: the unclearness occurs.; int6 & int8 -> int9: the extrusion and the unclearness happens.; int9 & sent10 -> int10: the patrolling cesspool does not occur.; int10 & sent25 -> hypothesis;
that the hand and the isometricness happens is wrong.
 -> hypothesis;
$hypothesis$ = the fact that the pitcher and the accomplishing occurs does not hold. ; $context$ = sent1: that the loudness occurs is prevented by that the pyrographicness and/or the reopening occurs. sent2: if the phonemicness happens then the patrolling cesspool does not occur and the unclearness does not occur. sent3: the revising Vermont happens. sent4: the fact that the acquainting Balsamorhiza and the clearness occurs is not right if the paranormalness occurs. sent5: if that the Rabelaisianness but not the guffawing happens is incorrect then the guffawing happens. sent6: that the bob does not occur yields that the volcanism happens and/or the patrolling snowboard. sent7: if the extrusion does not occur then the fact that the pyrographicness does not occur and the reopening occurs is wrong. sent8: the phonemicness occurs if the volcanism occurs. sent9: the loudness but not the revising gluttony occurs. sent10: the patrolling cesspool does not occur if that the extrusion happens and the unclearness occurs hold. sent11: the paranormalness happens. sent12: if the revising phoenix happens and the closing happens the fact that the inauspiciousness occurs is false. sent13: the testing does not occur. sent14: that the insurgency does not occur results in that the gunfire occurs. sent15: the gunfire does not occur. sent16: if the pyrographicness does not occur then the fact that the extrusion happens is not incorrect. sent17: that the hand and the isometricness happens is wrong. sent18: if the Buddhistness occurs and the Burmese happens the past does not occur. sent19: the unclearness happens if the fact that the acquainting Balsamorhiza but not the unclearness happens is false. sent20: if the sniff does not occur then both the patrolling Mimir and the acquainting Balsamorhiza occurs. sent21: if the thunder occurs that the nonobservance but not the shadowing happens is not true. sent22: the loudness does not occur if the reopening occurs. sent23: if that not the pyrographicness but the reopening occurs does not hold the pitcher occurs. sent24: that the unclearness does not occur brings about that the accomplishing and the loudness occurs. sent25: if the patrolling cesspool does not occur that both the pitcher and the accomplishing happens is not true. sent26: the pretending and the calycularness occurs. sent27: that the pressing and the non-stinginess happens does not hold. sent28: the bobbing does not occur. ; $proof$ = 
void -> assump1: Let's assume that the pyrographicness happens.; assump1 -> int1: the pyrographicness or the reopening or both occurs.; int1 & sent1 -> int2: the loudness does not occur.; sent9 -> int3: that the loudness happens is not incorrect.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pyrographicness does not occur.; int5 & sent16 -> int6: the extrusion happens.; sent4 & sent11 -> int7: the fact that both the acquainting Balsamorhiza and the clearness happens does not hold.; sent19 & int7 -> int8: the unclearness occurs.; int6 & int8 -> int9: the extrusion and the unclearness happens.; int9 & sent10 -> int10: the patrolling cesspool does not occur.; int10 & sent25 -> hypothesis; __PROVED__