the fact that the depressing occurs or the glabellarness does not occur or both is wrong.
sent1: the neocolonialism occurs or the consociating happens or both if the hypsometry does not occur. sent2: that the consociating occurs leads to that the runicness happens. sent3: if the amplification does not occur the depressing or the non-glabellarness or both occurs. sent4: if that the polychromaticness and/or the non-pianisticness occurs does not hold the runicness does not occur. sent5: if that the amplification happens hold that either the polychromaticness occurs or the pianisticness does not occur or both is not right. sent6: the neocolonialism prevents the non-runicness. sent7: the hypsometry does not occur.
void -> assump1: Let's assume that the amplification happens.; sent5 & assump1 -> int1: the fact that the polychromaticness or the non-pianisticness or both happens is wrong.; int1 & sent4 -> int2: the runicness does not occur.; sent1 & sent7 -> int3: the neocolonialism happens and/or the consociating happens.; int3 & sent6 & sent2 -> int4: that the runicness occurs is not wrong.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the amplification does not occur.; int6 & sent3 -> hypothesis;
$hypothesis$ = the fact that the depressing occurs or the glabellarness does not occur or both is wrong. ; $context$ = sent1: the neocolonialism occurs or the consociating happens or both if the hypsometry does not occur. sent2: that the consociating occurs leads to that the runicness happens. sent3: if the amplification does not occur the depressing or the non-glabellarness or both occurs. sent4: if that the polychromaticness and/or the non-pianisticness occurs does not hold the runicness does not occur. sent5: if that the amplification happens hold that either the polychromaticness occurs or the pianisticness does not occur or both is not right. sent6: the neocolonialism prevents the non-runicness. sent7: the hypsometry does not occur. ; $proof$ = 
void -> assump1: Let's assume that the amplification happens.; sent5 & assump1 -> int1: the fact that the polychromaticness or the non-pianisticness or both happens is wrong.; int1 & sent4 -> int2: the runicness does not occur.; sent1 & sent7 -> int3: the neocolonialism happens and/or the consociating happens.; int3 & sent6 & sent2 -> int4: that the runicness occurs is not wrong.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the amplification does not occur.; int6 & sent3 -> hypothesis; __DISPROVED__