the fact that the fact that that the overstraining spectacular happens and the overstraining headrace happens is true is not correct is not incorrect.
sent1: the finish happens. sent2: the unidirectionalness does not occur. sent3: if the infiltration does not occur then the subarcticness happens. sent4: the handing Simulium does not occur. sent5: that not the handing Simulium but the self-improvement happens brings about that the routine does not occur. sent6: if that the self-improvement does not occur is not false the overstraining spectacular happens. sent7: the fact that the routine happens is not wrong. sent8: that the substantive does not occur is right. sent9: the overstraining headrace happens.
void -> assump1: Let's assume that the self-improvement happens.; sent4 & assump1 -> int1: not the handing Simulium but the self-improvement happens.; int1 & sent5 -> int2: the routine does not occur.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the self-improvement does not occur.; int4 & sent6 -> int5: the overstraining spectacular occurs.; int5 & sent9 -> hypothesis;
that both the overstraining spectacular and the overstraining headrace occurs does not hold.
 -> hypothesis;
$hypothesis$ = the fact that the fact that that the overstraining spectacular happens and the overstraining headrace happens is true is not correct is not incorrect. ; $context$ = sent1: the finish happens. sent2: the unidirectionalness does not occur. sent3: if the infiltration does not occur then the subarcticness happens. sent4: the handing Simulium does not occur. sent5: that not the handing Simulium but the self-improvement happens brings about that the routine does not occur. sent6: if that the self-improvement does not occur is not false the overstraining spectacular happens. sent7: the fact that the routine happens is not wrong. sent8: that the substantive does not occur is right. sent9: the overstraining headrace happens. ; $proof$ = 
void -> assump1: Let's assume that the self-improvement happens.; sent4 & assump1 -> int1: not the handing Simulium but the self-improvement happens.; int1 & sent5 -> int2: the routine does not occur.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the self-improvement does not occur.; int4 & sent6 -> int5: the overstraining spectacular occurs.; int5 & sent9 -> hypothesis; __DISPROVED__