if the coinage does not occur then that the non-Estonianness and/or the democraticness happens does not hold.
sent1: that either the imprinting occurs or the exclusiveness does not occur or both does not hold if the acaudateness does not occur. sent2: the sidingness occurs if the boot does not occur. sent3: if the rendering succulent occurs then the coinage occurs and the rendezvousing chromatin does not occur. sent4: if the choreographicness does not occur that the saddle occurs or the pleaching commerce does not occur or both is not right. sent5: the protrusion does not occur and/or the rendering wand happens. sent6: that if the dunning carter does not occur or the pleaching fingering does not occur or both the informationalness happens is not wrong. sent7: the exploratoriness does not occur. sent8: either the fascistaness does not occur or the hypertonicness does not occur or both if the fadeout does not occur. sent9: the assortment does not occur. sent10: that the sidestep does not occur or the grimacing does not occur or both does not hold. sent11: the undemocraticness happens if the coinage does not occur. sent12: that the coinage occurs is brought about by that the Estonianness does not occur or the non-undemocraticness or both. sent13: either the pleaching crith does not occur or the monopolization does not occur or both if the immatureness does not occur.
void -> assump1: Let's assume that the non-Estonianness or the non-undemocraticness or both occurs.; sent12 & assump1 -> int1: the coinage occurs.; void -> assump2: Let's assume that that the coinage does not occur hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that either the Estonianness does not occur or the undemocraticness does not occur or both is incorrect.; [assump2] & int3 -> hypothesis;
the claiming does not occur or the rendezvousing chromatin does not occur or both.
$hypothesis$ = if the coinage does not occur then that the non-Estonianness and/or the democraticness happens does not hold. ; $context$ = sent1: that either the imprinting occurs or the exclusiveness does not occur or both does not hold if the acaudateness does not occur. sent2: the sidingness occurs if the boot does not occur. sent3: if the rendering succulent occurs then the coinage occurs and the rendezvousing chromatin does not occur. sent4: if the choreographicness does not occur that the saddle occurs or the pleaching commerce does not occur or both is not right. sent5: the protrusion does not occur and/or the rendering wand happens. sent6: that if the dunning carter does not occur or the pleaching fingering does not occur or both the informationalness happens is not wrong. sent7: the exploratoriness does not occur. sent8: either the fascistaness does not occur or the hypertonicness does not occur or both if the fadeout does not occur. sent9: the assortment does not occur. sent10: that the sidestep does not occur or the grimacing does not occur or both does not hold. sent11: the undemocraticness happens if the coinage does not occur. sent12: that the coinage occurs is brought about by that the Estonianness does not occur or the non-undemocraticness or both. sent13: either the pleaching crith does not occur or the monopolization does not occur or both if the immatureness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the non-Estonianness or the non-undemocraticness or both occurs.; sent12 & assump1 -> int1: the coinage occurs.; void -> assump2: Let's assume that that the coinage does not occur hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that either the Estonianness does not occur or the undemocraticness does not occur or both is incorrect.; [assump2] & int3 -> hypothesis; __PROVED__