not the umbellateness but the particularization happens.
sent1: that the quickening does not occur is triggered by that the deafening ATP does not occur and the federalization does not occur. sent2: that the scaleneness does not occur and the accommodating does not occur is wrong if the pyrotechnicness does not occur. sent3: if the capturing trusteeship does not occur then the civicness happens. sent4: the umbellateness does not occur if that the scaleneness does not occur and the accommodating does not occur is not true. sent5: if the pyrotechnicness happens then that both the non-umbellateness and the particularization occurs does not hold. sent6: the capturing Marengo does not occur. sent7: the mortification does not occur. sent8: that the fact that the kickoff but not the deafening celibate occurs is not incorrect is not true. sent9: the deafening ATP does not occur and the federalization does not occur. sent10: that the deafening ATP happens and the federalization does not occur prevents the quickening. sent11: the capturing skin does not occur. sent12: that the agitating does not occur is correct. sent13: that the non-pyrotechnicness is triggered by that both the flopping and the mortification happens is not false. sent14: the fact that the .22-caliberness happens is true. sent15: if the fact that the flop but not the mortification occurs is not right then the fact that the quickening happens is correct. sent16: the pyrotechnicness does not occur if the flop occurs but the mortification does not occur. sent17: that both the unscrewing typification and the particularization occurs is brought about by that the capturing skin does not occur. sent18: that the capturing alizarin occurs is not wrong if the pursuit happens. sent19: the unscrewing typification happens.
void -> assump1: Let's assume that the fact that the flopping happens and the mortification does not occur does not hold.; sent15 & assump1 -> int1: the quickening occurs.; sent1 & sent9 -> int2: the quickening does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the flop happens and the mortification does not occur.; int4 & sent16 -> int5: the pyrotechnicness does not occur.; int5 & sent2 -> int6: the fact that the scaleneness does not occur and the accommodating does not occur is not correct.; int6 & sent4 -> int7: the umbellateness does not occur.; sent17 & sent11 -> int8: both the unscrewing typification and the particularization happens.; int8 -> int9: the particularization occurs.; int7 & int9 -> hypothesis;
the fact that not the umbellateness but the particularization occurs is incorrect.
$hypothesis$ = not the umbellateness but the particularization happens. ; $context$ = sent1: that the quickening does not occur is triggered by that the deafening ATP does not occur and the federalization does not occur. sent2: that the scaleneness does not occur and the accommodating does not occur is wrong if the pyrotechnicness does not occur. sent3: if the capturing trusteeship does not occur then the civicness happens. sent4: the umbellateness does not occur if that the scaleneness does not occur and the accommodating does not occur is not true. sent5: if the pyrotechnicness happens then that both the non-umbellateness and the particularization occurs does not hold. sent6: the capturing Marengo does not occur. sent7: the mortification does not occur. sent8: that the fact that the kickoff but not the deafening celibate occurs is not incorrect is not true. sent9: the deafening ATP does not occur and the federalization does not occur. sent10: that the deafening ATP happens and the federalization does not occur prevents the quickening. sent11: the capturing skin does not occur. sent12: that the agitating does not occur is correct. sent13: that the non-pyrotechnicness is triggered by that both the flopping and the mortification happens is not false. sent14: the fact that the .22-caliberness happens is true. sent15: if the fact that the flop but not the mortification occurs is not right then the fact that the quickening happens is correct. sent16: the pyrotechnicness does not occur if the flop occurs but the mortification does not occur. sent17: that both the unscrewing typification and the particularization occurs is brought about by that the capturing skin does not occur. sent18: that the capturing alizarin occurs is not wrong if the pursuit happens. sent19: the unscrewing typification happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the flopping happens and the mortification does not occur does not hold.; sent15 & assump1 -> int1: the quickening occurs.; sent1 & sent9 -> int2: the quickening does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the flop happens and the mortification does not occur.; int4 & sent16 -> int5: the pyrotechnicness does not occur.; int5 & sent2 -> int6: the fact that the scaleneness does not occur and the accommodating does not occur is not correct.; int6 & sent4 -> int7: the umbellateness does not occur.; sent17 & sent11 -> int8: both the unscrewing typification and the particularization happens.; int8 -> int9: the particularization occurs.; int7 & int9 -> hypothesis; __PROVED__