the clericalness does not occur if the galvanizing occurs.
sent1: if the revoking does not occur then the fact that either the validation does not occur or the trundling palladium occurs or both is not right. sent2: if the clericalness and the galvanizing occurs the validation does not occur. sent3: the validation occurs and/or the trundling palladium happens. sent4: the revoking does not occur and the depositing liverwurst does not occur.
void -> assump2: Let's assume that the clericalness happens.; void -> assump1: Let's assume that the galvanizing occurs.; assump2 & assump1 -> int1: both the clericalness and the galvanizing happens.; int1 & sent2 -> int2: the validation does not occur.; int2 -> int3: the validation does not occur and/or the trundling palladium occurs.; sent4 -> int4: the revoking does not occur.; sent1 & int4 -> int5: the fact that the validation does not occur or the trundling palladium happens or both is incorrect.; int3 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: the fact that the clericalness does not occur is not wrong.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the clericalness does not occur if the galvanizing occurs. ; $context$ = sent1: if the revoking does not occur then the fact that either the validation does not occur or the trundling palladium occurs or both is not right. sent2: if the clericalness and the galvanizing occurs the validation does not occur. sent3: the validation occurs and/or the trundling palladium happens. sent4: the revoking does not occur and the depositing liverwurst does not occur. ; $proof$ = 
void -> assump2: Let's assume that the clericalness happens.; void -> assump1: Let's assume that the galvanizing occurs.; assump2 & assump1 -> int1: both the clericalness and the galvanizing happens.; int1 & sent2 -> int2: the validation does not occur.; int2 -> int3: the validation does not occur and/or the trundling palladium occurs.; sent4 -> int4: the revoking does not occur.; sent1 & int4 -> int5: the fact that the validation does not occur or the trundling palladium happens or both is incorrect.; int3 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: the fact that the clericalness does not occur is not wrong.; [assump1] & int7 -> hypothesis; __PROVED__