the discontinuance does not occur and the unexcitableness does not occur.
sent1: the interchanging does not occur. sent2: that the interchanging does not occur yields that the call-out does not occur and the unexcitableness does not occur. sent3: the devitalization does not occur if both the discontinuance and the lactogenicness occurs. sent4: both the non-endergonicness and the achromatizing minuteness occurs if the fact that the chertiness happens is not wrong. sent5: if that the priming Abel does not occur hold the fact that the discontinuance does not occur and the unexcitableness does not occur is false. sent6: the devitalization occurs. sent7: the bout does not occur. sent8: the call-out does not occur. sent9: if the lactogenicness does not occur the bout does not occur. sent10: that the non-endergonicness and the achromatizing minuteness happens results in that the interchanging happens. sent11: that the interchange does not occur causes that the call-out does not occur. sent12: that the call-out occurs and the unexcitableness does not occur is false if the interchange occurs. sent13: the achromatizing minuteness happens. sent14: that the priming Abel occurs leads to the lactogenicness. sent15: the priming Abel but not the bout happens.
sent15 -> int1: the priming Abel happens.; int1 & sent14 -> int2: the lactogenicness occurs.; void -> assump1: Let's assume that the discontinuance happens.; int2 & assump1 -> int3: the discontinuance and the lactogenicness happens.; int3 & sent3 -> int4: the devitalization does not occur.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the discontinuance does not occur.; sent2 & sent1 -> int7: the call-out does not occur and the unexcitableness does not occur.; int7 -> int8: the unexcitableness does not occur.; int6 & int8 -> hypothesis;
that the discontinuance does not occur and the unexcitableness does not occur is not right.
$hypothesis$ = the discontinuance does not occur and the unexcitableness does not occur. ; $context$ = sent1: the interchanging does not occur. sent2: that the interchanging does not occur yields that the call-out does not occur and the unexcitableness does not occur. sent3: the devitalization does not occur if both the discontinuance and the lactogenicness occurs. sent4: both the non-endergonicness and the achromatizing minuteness occurs if the fact that the chertiness happens is not wrong. sent5: if that the priming Abel does not occur hold the fact that the discontinuance does not occur and the unexcitableness does not occur is false. sent6: the devitalization occurs. sent7: the bout does not occur. sent8: the call-out does not occur. sent9: if the lactogenicness does not occur the bout does not occur. sent10: that the non-endergonicness and the achromatizing minuteness happens results in that the interchanging happens. sent11: that the interchange does not occur causes that the call-out does not occur. sent12: that the call-out occurs and the unexcitableness does not occur is false if the interchange occurs. sent13: the achromatizing minuteness happens. sent14: that the priming Abel occurs leads to the lactogenicness. sent15: the priming Abel but not the bout happens. ; $proof$ = 
sent15 -> int1: the priming Abel happens.; int1 & sent14 -> int2: the lactogenicness occurs.; void -> assump1: Let's assume that the discontinuance happens.; int2 & assump1 -> int3: the discontinuance and the lactogenicness happens.; int3 & sent3 -> int4: the devitalization does not occur.; int4 & sent6 -> int5: this is contradiction.; [assump1] & int5 -> int6: the discontinuance does not occur.; sent2 & sent1 -> int7: the call-out does not occur and the unexcitableness does not occur.; int7 -> int8: the unexcitableness does not occur.; int6 & int8 -> hypothesis; __PROVED__