the precedence does not occur.
sent1: if the fact that the precedence happens hold then the tracing agama happens. sent2: if that either the harshness does not occur or the proverbialness occurs or both is not incorrect that the Inquisition does not occur is true. sent3: the Inquisition does not occur or the harshness does not occur or both. sent4: if the pardon does not occur the laicizing cataphyll does not occur but the battling happens. sent5: the tracing agama does not occur if the harshness does not occur. sent6: the fact that the queening credited does not occur hold. sent7: either that the Inquisition does not occur or that the harshness does not occur or both prevents that the tracing agama happens. sent8: the Inquisition does not occur and/or the harshness happens. sent9: that the laicizing cataphyll does not occur causes that the proverbialness and the tracing Antarctic occurs. sent10: the laicizing defensibility does not occur.
void -> assump1: Let's assume that the precedence happens.; sent1 & assump1 -> int1: the tracing agama occurs.; sent7 & sent3 -> int2: the tracing agama does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the precedence occurs.
$hypothesis$ = the precedence does not occur. ; $context$ = sent1: if the fact that the precedence happens hold then the tracing agama happens. sent2: if that either the harshness does not occur or the proverbialness occurs or both is not incorrect that the Inquisition does not occur is true. sent3: the Inquisition does not occur or the harshness does not occur or both. sent4: if the pardon does not occur the laicizing cataphyll does not occur but the battling happens. sent5: the tracing agama does not occur if the harshness does not occur. sent6: the fact that the queening credited does not occur hold. sent7: either that the Inquisition does not occur or that the harshness does not occur or both prevents that the tracing agama happens. sent8: the Inquisition does not occur and/or the harshness happens. sent9: that the laicizing cataphyll does not occur causes that the proverbialness and the tracing Antarctic occurs. sent10: the laicizing defensibility does not occur. ; $proof$ = 
void -> assump1: Let's assume that the precedence happens.; sent1 & assump1 -> int1: the tracing agama occurs.; sent7 & sent3 -> int2: the tracing agama does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__