the overexertion does not occur and the existentialist does not occur.
sent1: the subduralness happens. sent2: if the pigmenting happens then the existentialistness does not occur. sent3: the syllogizing taste does not occur. sent4: the anuranness happens. sent5: the fact that the propagativeness does not occur is not wrong. sent6: if the elegiacness does not occur the overexertion does not occur and the propagativeness does not occur. sent7: if the reticulateness and the toilet-training Manhattan happens then the subduralness does not occur. sent8: the pigmenting happens and the tonelessness happens if the nonadhesiveness does not occur. sent9: the toilet-training Manhattan occurs if the anuranness happens. sent10: the syllogizing Gentianella does not occur and the nonadhesiveness does not occur. sent11: the elegiacness yields the reticulateness.
void -> assump1: Let's assume that the elegiacness occurs.; sent11 & assump1 -> int1: the reticulateness occurs.; sent9 & sent4 -> int2: that the toilet-training Manhattan occurs is not incorrect.; int1 & int2 -> int3: the reticulateness occurs and the toilet-training Manhattan happens.; int3 & sent7 -> int4: the subduralness does not occur.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the elegiacness does not occur.; int6 & sent6 -> int7: the overexertion does not occur and the propagativeness does not occur.; int7 -> int8: the overexertion does not occur.; sent10 -> int9: the nonadhesiveness does not occur.; sent8 & int9 -> int10: the pigment occurs and the tonelessness occurs.; int10 -> int11: the pigmenting happens.; sent2 & int11 -> int12: the existentialist does not occur.; int8 & int12 -> hypothesis;
that the overexertion does not occur and the existentialist does not occur does not hold.
 -> hypothesis;
$hypothesis$ = the overexertion does not occur and the existentialist does not occur. ; $context$ = sent1: the subduralness happens. sent2: if the pigmenting happens then the existentialistness does not occur. sent3: the syllogizing taste does not occur. sent4: the anuranness happens. sent5: the fact that the propagativeness does not occur is not wrong. sent6: if the elegiacness does not occur the overexertion does not occur and the propagativeness does not occur. sent7: if the reticulateness and the toilet-training Manhattan happens then the subduralness does not occur. sent8: the pigmenting happens and the tonelessness happens if the nonadhesiveness does not occur. sent9: the toilet-training Manhattan occurs if the anuranness happens. sent10: the syllogizing Gentianella does not occur and the nonadhesiveness does not occur. sent11: the elegiacness yields the reticulateness. ; $proof$ = 
void -> assump1: Let's assume that the elegiacness occurs.; sent11 & assump1 -> int1: the reticulateness occurs.; sent9 & sent4 -> int2: that the toilet-training Manhattan occurs is not incorrect.; int1 & int2 -> int3: the reticulateness occurs and the toilet-training Manhattan happens.; int3 & sent7 -> int4: the subduralness does not occur.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the elegiacness does not occur.; int6 & sent6 -> int7: the overexertion does not occur and the propagativeness does not occur.; int7 -> int8: the overexertion does not occur.; sent10 -> int9: the nonadhesiveness does not occur.; sent8 & int9 -> int10: the pigment occurs and the tonelessness occurs.; int10 -> int11: the pigmenting happens.; sent2 & int11 -> int12: the existentialist does not occur.; int8 & int12 -> hypothesis; __PROVED__