if the inexactness happens the fewestness does not occur.
sent1: the destructibleness happens. sent2: the beating occurs. sent3: both the heterodyning and the Bahainess occurs. sent4: the liquefying Edo occurs. sent5: the ravening endoneurium happens. sent6: that the aurifying leak occurs leads to that the vetoing does not occur. sent7: that the fewestness happens is caused by that the inexactness occurs. sent8: if the inexactness and the destructibleness occurs then the fewestness does not occur. sent9: the fewestness happens. sent10: the countersubversion does not occur. sent11: the tragicomicness does not occur. sent12: that the inexactness happens and the destructibleness happens prevents the non-fewestness.
void -> assump1: Let's assume that that the inexactness happens is not wrong.; assump1 & sent1 -> int1: the inexactness happens and the destructibleness happens.; sent8 & int1 -> int2: the fewestness does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the inexactness happens the fewestness does not occur. ; $context$ = sent1: the destructibleness happens. sent2: the beating occurs. sent3: both the heterodyning and the Bahainess occurs. sent4: the liquefying Edo occurs. sent5: the ravening endoneurium happens. sent6: that the aurifying leak occurs leads to that the vetoing does not occur. sent7: that the fewestness happens is caused by that the inexactness occurs. sent8: if the inexactness and the destructibleness occurs then the fewestness does not occur. sent9: the fewestness happens. sent10: the countersubversion does not occur. sent11: the tragicomicness does not occur. sent12: that the inexactness happens and the destructibleness happens prevents the non-fewestness. ; $proof$ = 
void -> assump1: Let's assume that that the inexactness happens is not wrong.; assump1 & sent1 -> int1: the inexactness happens and the destructibleness happens.; sent8 & int1 -> int2: the fewestness does not occur.; [assump1] & int2 -> hypothesis; __PROVED__