the disrupting does not occur and the lapping topmast does not occur.
sent1: the archdiocesanness happens if the shambles occurs. sent2: if that the scaling araroba happens is right the infernalness occurs. sent3: if the shambles does not occur that the carpentry but not the stating occurs is incorrect. sent4: that the golfing does not occur is triggered by that the buzz does not occur. sent5: that the nautch does not occur is triggered by that the intriguing ash does not occur. sent6: the fact that that the disrupting does not occur and the lapping topmast does not occur is wrong hold if the golf does not occur. sent7: the nautch happens. sent8: the parallax does not occur if that the golf happens and/or the buzzing occurs does not hold. sent9: the buzz does not occur if the parallax or the archdiocesanness or both occurs. sent10: the Pavlovianness does not occur. sent11: the fact that the sparring does not occur but the intriguing volution occurs is not true if the opinion does not occur. sent12: that the intriguing ash does not occur but the scaling araroba happens is brought about by the appreciation. sent13: the fact that the Tibetan happens and the unexchangeableness occurs is not true if the fact that the Pavlovianness does not occur is not incorrect. sent14: that the carpentry happens and the state does not occur is brought about by that the nautch occurs. sent15: if the fact that that the fact that the Tibetan and the unexchangeableness occurs is right does not hold is not incorrect the disrupting does not occur. sent16: if both the shambles and the archdiocesanness occurs then the fact that the pronating does not occur is not wrong.
void -> assump1: Let's assume that the shambles does not occur.; sent3 & assump1 -> int1: that the carpentry happens but the stating does not occur does not hold.; sent14 & sent7 -> int2: the carpentry but not the state occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the shambles occurs.; int4 & sent1 -> int5: the archdiocesanness occurs.; int5 -> int6: the parallax happens and/or the archdiocesanness happens.; int6 & sent9 -> int7: the buzz does not occur.; int7 & sent4 -> int8: the golfing does not occur.; int8 & sent6 -> hypothesis;
the exempting occurs but the pronating does not occur.
sent13 & sent10 -> int9: that both the Tibetanness and the unexchangeableness occurs is not correct.; sent15 & int9 -> int10: the disrupting does not occur.;
$hypothesis$ = the disrupting does not occur and the lapping topmast does not occur. ; $context$ = sent1: the archdiocesanness happens if the shambles occurs. sent2: if that the scaling araroba happens is right the infernalness occurs. sent3: if the shambles does not occur that the carpentry but not the stating occurs is incorrect. sent4: that the golfing does not occur is triggered by that the buzz does not occur. sent5: that the nautch does not occur is triggered by that the intriguing ash does not occur. sent6: the fact that that the disrupting does not occur and the lapping topmast does not occur is wrong hold if the golf does not occur. sent7: the nautch happens. sent8: the parallax does not occur if that the golf happens and/or the buzzing occurs does not hold. sent9: the buzz does not occur if the parallax or the archdiocesanness or both occurs. sent10: the Pavlovianness does not occur. sent11: the fact that the sparring does not occur but the intriguing volution occurs is not true if the opinion does not occur. sent12: that the intriguing ash does not occur but the scaling araroba happens is brought about by the appreciation. sent13: the fact that the Tibetan happens and the unexchangeableness occurs is not true if the fact that the Pavlovianness does not occur is not incorrect. sent14: that the carpentry happens and the state does not occur is brought about by that the nautch occurs. sent15: if the fact that that the fact that the Tibetan and the unexchangeableness occurs is right does not hold is not incorrect the disrupting does not occur. sent16: if both the shambles and the archdiocesanness occurs then the fact that the pronating does not occur is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the shambles does not occur.; sent3 & assump1 -> int1: that the carpentry happens but the stating does not occur does not hold.; sent14 & sent7 -> int2: the carpentry but not the state occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the shambles occurs.; int4 & sent1 -> int5: the archdiocesanness occurs.; int5 -> int6: the parallax happens and/or the archdiocesanness happens.; int6 & sent9 -> int7: the buzz does not occur.; int7 & sent4 -> int8: the golfing does not occur.; int8 & sent6 -> hypothesis; __DISPROVED__