that that the impairment does not occur is prevented by the disestablishment does not hold.
sent1: if the fingering does not occur and the undemocraticness does not occur then the impairment occurs. sent2: the navigation happens. sent3: if the imprisonment does not occur then the fingering does not occur and the undemocraticness does not occur. sent4: that the disestablishment occurs is prevented by that the navigation and the imprisonment occurs.
void -> assump2: Let's assume that the disestablishment happens.; void -> assump1: Let's assume that the imprisonment occurs.; sent2 & assump1 -> int1: the navigation happens and the imprisonment occurs.; sent4 & int1 -> int2: the disestablishment does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the imprisonment does not occur.; sent3 & int4 -> int5: the fingering does not occur and the undemocraticness does not occur.; sent1 & int5 -> int6: the fact that the impairment happens is true.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that that the impairment does not occur is prevented by the disestablishment does not hold. ; $context$ = sent1: if the fingering does not occur and the undemocraticness does not occur then the impairment occurs. sent2: the navigation happens. sent3: if the imprisonment does not occur then the fingering does not occur and the undemocraticness does not occur. sent4: that the disestablishment occurs is prevented by that the navigation and the imprisonment occurs. ; $proof$ = 
void -> assump2: Let's assume that the disestablishment happens.; void -> assump1: Let's assume that the imprisonment occurs.; sent2 & assump1 -> int1: the navigation happens and the imprisonment occurs.; sent4 & int1 -> int2: the disestablishment does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the imprisonment does not occur.; sent3 & int4 -> int5: the fingering does not occur and the undemocraticness does not occur.; sent1 & int5 -> int6: the fact that the impairment happens is true.; [assump2] & int6 -> hypothesis; __DISPROVED__