the hair-shirtness happens.
sent1: that the worstedness does not occur is prevented by that the treadling occurs. sent2: the sturdiness does not occur or the disclosure does not occur or both if the simplifying does not occur. sent3: the non-sturdyness prevents the non-aneroidness. sent4: that the sturdiness does not occur and/or that the disclosure does not occur prevents the non-aneroidness. sent5: if the stealing punster does not occur and/or the simplifying does not occur the scramming schistosome happens. sent6: that the stealing punster occurs is brought about by that the simplifying occurs. sent7: if the fact that both the butterflying and the mediateness occurs does not hold the decolonizing clang does not occur. sent8: both the non-aneroidness and the non-hair-shirtness occurs if the decolonizing clang does not occur. sent9: that either the stealing punster does not occur or the simplifying does not occur or both is brought about by that the disclosure does not occur. sent10: that the stealing punster does not occur is correct. sent11: if the sureness does not occur the fact that the fact that the butterflying occurs and the mediateness happens does not hold is not false. sent12: if the aneroid does not occur the fact that both the non-sturdiness and the disclosure occurs is not correct. sent13: the sturdiness occurs and/or the disclosure does not occur. sent14: the aneroidness prevents the non-hair-shirtness. sent15: that the simplifying does not occur triggers that the sturdiness occurs and/or that the disclosure does not occur. sent16: the sureness does not occur if the fact that both the scramming Nephropsidae and the scramming Bothidae occurs is incorrect.
void -> assump1: Let's assume that the simplifying occurs.; sent6 & assump1 -> int1: the stealing punster occurs.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the simplifying does not occur.; int3 & sent2 -> int4: the sturdiness does not occur or the disclosure does not occur or both.; int4 & sent4 -> int5: the aneroidness happens.; int5 & sent14 -> hypothesis;
the scramming schistosome happens.
$hypothesis$ = the hair-shirtness happens. ; $context$ = sent1: that the worstedness does not occur is prevented by that the treadling occurs. sent2: the sturdiness does not occur or the disclosure does not occur or both if the simplifying does not occur. sent3: the non-sturdyness prevents the non-aneroidness. sent4: that the sturdiness does not occur and/or that the disclosure does not occur prevents the non-aneroidness. sent5: if the stealing punster does not occur and/or the simplifying does not occur the scramming schistosome happens. sent6: that the stealing punster occurs is brought about by that the simplifying occurs. sent7: if the fact that both the butterflying and the mediateness occurs does not hold the decolonizing clang does not occur. sent8: both the non-aneroidness and the non-hair-shirtness occurs if the decolonizing clang does not occur. sent9: that either the stealing punster does not occur or the simplifying does not occur or both is brought about by that the disclosure does not occur. sent10: that the stealing punster does not occur is correct. sent11: if the sureness does not occur the fact that the fact that the butterflying occurs and the mediateness happens does not hold is not false. sent12: if the aneroid does not occur the fact that both the non-sturdiness and the disclosure occurs is not correct. sent13: the sturdiness occurs and/or the disclosure does not occur. sent14: the aneroidness prevents the non-hair-shirtness. sent15: that the simplifying does not occur triggers that the sturdiness occurs and/or that the disclosure does not occur. sent16: the sureness does not occur if the fact that both the scramming Nephropsidae and the scramming Bothidae occurs is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the simplifying occurs.; sent6 & assump1 -> int1: the stealing punster occurs.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the simplifying does not occur.; int3 & sent2 -> int4: the sturdiness does not occur or the disclosure does not occur or both.; int4 & sent4 -> int5: the aneroidness happens.; int5 & sent14 -> hypothesis; __PROVED__