that the efflorescence happens and the blowout occurs is triggered by the inconvertibleness.
sent1: if that the BW does not occur and/or the irradiating patience does not occur is not right the blowout occurs. sent2: the BW happens. sent3: that the stretching happens is prevented by that both the non-conceptualisticness and the non-ready-madeness occurs. sent4: both the calendricness and the tailoring occurs. sent5: the non-underhandness is prevented by the nonextensileness. sent6: if the irradiating scheme does not occur then the convertible occurs. sent7: the efflorescence happens if the underhandness happens. sent8: if the stretch does not occur then the unclothing does not occur. sent9: the convertibleness happens if the oath does not occur. sent10: that either the non-puncturableness or the non-Bolivianness or both happens does not hold. sent11: the irradiating scheme does not occur or the oath does not occur or both if the nonextensileness does not occur. sent12: the unclothing does not occur. sent13: the conceptualisticness does not occur and the ready-madeness does not occur. sent14: that the BW does not occur and/or the irradiating patience does not occur is not correct if the lexicalizing avatar occurs. sent15: if that the fact that the BW happens or the irradiating patience does not occur or both is incorrect is right then the blowout occurs. sent16: the fact that the conceptualisticness does not occur hold. sent17: the BW happens if the lexicalizing avatar happens. sent18: that the conceptualisticness occurs but the ready-madeness does not occur prevents that the stretching happens.
void -> assump1: Let's assume that the nonextensileness does not occur.; sent11 & assump1 -> int1: the irradiating scheme does not occur and/or the oath does not occur.; int1 & sent6 & sent9 -> int2: the convertible occurs.; void -> assump2: Let's assume that the convertibleness does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the nonextensileness occurs.; int4 & sent5 -> int5: the underhandness happens.; int5 & sent7 -> int6: the efflorescence happens.; sent3 & sent13 -> int7: that the stretching does not occur is correct.;
that either the non-puncturableness or the non-Bolivianness or both happens does not hold.
 -> hypothesis;
$hypothesis$ = that the efflorescence happens and the blowout occurs is triggered by the inconvertibleness. ; $context$ = sent1: if that the BW does not occur and/or the irradiating patience does not occur is not right the blowout occurs. sent2: the BW happens. sent3: that the stretching happens is prevented by that both the non-conceptualisticness and the non-ready-madeness occurs. sent4: both the calendricness and the tailoring occurs. sent5: the non-underhandness is prevented by the nonextensileness. sent6: if the irradiating scheme does not occur then the convertible occurs. sent7: the efflorescence happens if the underhandness happens. sent8: if the stretch does not occur then the unclothing does not occur. sent9: the convertibleness happens if the oath does not occur. sent10: that either the non-puncturableness or the non-Bolivianness or both happens does not hold. sent11: the irradiating scheme does not occur or the oath does not occur or both if the nonextensileness does not occur. sent12: the unclothing does not occur. sent13: the conceptualisticness does not occur and the ready-madeness does not occur. sent14: that the BW does not occur and/or the irradiating patience does not occur is not correct if the lexicalizing avatar occurs. sent15: if that the fact that the BW happens or the irradiating patience does not occur or both is incorrect is right then the blowout occurs. sent16: the fact that the conceptualisticness does not occur hold. sent17: the BW happens if the lexicalizing avatar happens. sent18: that the conceptualisticness occurs but the ready-madeness does not occur prevents that the stretching happens. ; $proof$ = 
void -> assump1: Let's assume that the nonextensileness does not occur.; sent11 & assump1 -> int1: the irradiating scheme does not occur and/or the oath does not occur.; int1 & sent6 & sent9 -> int2: the convertible occurs.; void -> assump2: Let's assume that the convertibleness does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the nonextensileness occurs.; int4 & sent5 -> int5: the underhandness happens.; int5 & sent7 -> int6: the efflorescence happens.; sent3 & sent13 -> int7: that the stretching does not occur is correct.; __UNKNOWN__