if the unnaturalness does not occur then either the contribution happens or the propping Hypsiglena occurs or both.
sent1: the non-Semiteness triggers that the propping wagtail and the non-papilliformness occurs. sent2: the exodus happens if the ostracism happens. sent3: the mooring gust happens if the casing happens. sent4: that the unnaturalness happens leads to that the contribution happens and/or the propping Hypsiglena. sent5: if the unnaturalness and the mooring gust happens then the validness does not occur. sent6: that the propping Hypsiglena but not the contribution occurs does not hold if the papilliformness does not occur. sent7: either the propping sild occurs or the gambit happens or both. sent8: if the fact that the propping Hypsiglena occurs and the contribution does not occur is wrong the propping Hypsiglena does not occur. sent9: the validness happens if the case does not occur. sent10: if the wink does not occur the eventuating occurs and the besieging risklessness does not occur. sent11: if the progressiveness does not occur the debarkation and/or the besieging ferricyanide occurs. sent12: if the eccentricness happens that the polity occurs is right. sent13: if the autogamy happens the tetrametricness occurs. sent14: if that the propping waviness occurs is not incorrect the lowbornness happens. sent15: if the mooring gust occurs the propping Hypsiglena occurs. sent16: that the eventuating happens but the besieging risklessness does not occur prevents the Semite.
void -> assump2: Let's assume that the case does not occur.; sent9 & assump2 -> int1: the validness occurs.;
the besieging abohm happens.
$hypothesis$ = if the unnaturalness does not occur then either the contribution happens or the propping Hypsiglena occurs or both. ; $context$ = sent1: the non-Semiteness triggers that the propping wagtail and the non-papilliformness occurs. sent2: the exodus happens if the ostracism happens. sent3: the mooring gust happens if the casing happens. sent4: that the unnaturalness happens leads to that the contribution happens and/or the propping Hypsiglena. sent5: if the unnaturalness and the mooring gust happens then the validness does not occur. sent6: that the propping Hypsiglena but not the contribution occurs does not hold if the papilliformness does not occur. sent7: either the propping sild occurs or the gambit happens or both. sent8: if the fact that the propping Hypsiglena occurs and the contribution does not occur is wrong the propping Hypsiglena does not occur. sent9: the validness happens if the case does not occur. sent10: if the wink does not occur the eventuating occurs and the besieging risklessness does not occur. sent11: if the progressiveness does not occur the debarkation and/or the besieging ferricyanide occurs. sent12: if the eccentricness happens that the polity occurs is right. sent13: if the autogamy happens the tetrametricness occurs. sent14: if that the propping waviness occurs is not incorrect the lowbornness happens. sent15: if the mooring gust occurs the propping Hypsiglena occurs. sent16: that the eventuating happens but the besieging risklessness does not occur prevents the Semite. ; $proof$ = 
void -> assump2: Let's assume that the case does not occur.; sent9 & assump2 -> int1: the validness occurs.; __UNKNOWN__