that if the nonexplosiveness happens the celebratoriness occurs is not right.
sent1: the interpolating bolt happens. sent2: the rectosigmoidness happens. sent3: if the underproduction does not occur the fact that the non-rectosigmoidness and the nonexplosiveness happens is not wrong. sent4: the nonexplosiveness is prevented by the non-celebratoryness and/or the rectosigmoidness. sent5: if the depiction does not occur then that the mnemonic and the underproduction occurs is incorrect. sent6: if that the mnemonic and the underproduction occurs does not hold then the underproduction does not occur. sent7: if the rectosigmoidness does not occur then the neuroticness happens and the celebratoriness occurs. sent8: either the celebratoriness happens or the rectosigmoidness happens or both. sent9: either the expression does not occur or the Gaussianness occurs or both.
void -> assump1: Let's assume that the celebratoriness does not occur.; assump1 -> int1: the celebratoriness does not occur and/or the rectosigmoidness occurs.; int1 & sent4 -> int2: the nonexplosiveness does not occur.; void -> assump2: Let's assume that the nonexplosiveness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the celebratoriness occurs.; [assump2] & int4 -> hypothesis;
the neurotic happens.
$hypothesis$ = that if the nonexplosiveness happens the celebratoriness occurs is not right. ; $context$ = sent1: the interpolating bolt happens. sent2: the rectosigmoidness happens. sent3: if the underproduction does not occur the fact that the non-rectosigmoidness and the nonexplosiveness happens is not wrong. sent4: the nonexplosiveness is prevented by the non-celebratoryness and/or the rectosigmoidness. sent5: if the depiction does not occur then that the mnemonic and the underproduction occurs is incorrect. sent6: if that the mnemonic and the underproduction occurs does not hold then the underproduction does not occur. sent7: if the rectosigmoidness does not occur then the neuroticness happens and the celebratoriness occurs. sent8: either the celebratoriness happens or the rectosigmoidness happens or both. sent9: either the expression does not occur or the Gaussianness occurs or both. ; $proof$ = 
void -> assump1: Let's assume that the celebratoriness does not occur.; assump1 -> int1: the celebratoriness does not occur and/or the rectosigmoidness occurs.; int1 & sent4 -> int2: the nonexplosiveness does not occur.; void -> assump2: Let's assume that the nonexplosiveness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the celebratoriness occurs.; [assump2] & int4 -> hypothesis; __DISPROVED__