if the inequitableness occurs then that the inauguralness does not occur and the diving clawed does not occur is wrong.
sent1: that the fact that the inauguralness occurs but the diving clawed does not occur does not hold is right if the inequitableness happens. sent2: that both the non-inauguralness and the diving clawed occurs is not right if the inequitableness happens. sent3: that the atonement does not occur and the sharpening does not occur does not hold if the oversleeping does not occur. sent4: that the enormity does not occur and the flagellation does not occur is correct if the respecting wrester does not occur. sent5: that the inaugural does not occur and the diving clawed does not occur prevents the inequitableness. sent6: the fact that the inauguralness but not the diving clawed happens is not true. sent7: the fact that both the non-inauguralness and the diving clawed occurs is not right. sent8: the inauguralness does not occur. sent9: if the enormity does not occur the diving high-five or the inequitableness or both happens. sent10: the inequitableness does not occur if not the inauguralness but the diving clawed happens.
void -> assump1: Let's assume that the inaugural does not occur and the diving clawed does not occur.; sent5 & assump1 -> int1: the inequitableness does not occur.; void -> assump2: Let's assume that the inequitableness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the inauguralness does not occur and the diving clawed does not occur hold does not hold.; [assump2] & int3 -> hypothesis;
that the atonement does not occur and the sharpening does not occur does not hold.
$hypothesis$ = if the inequitableness occurs then that the inauguralness does not occur and the diving clawed does not occur is wrong. ; $context$ = sent1: that the fact that the inauguralness occurs but the diving clawed does not occur does not hold is right if the inequitableness happens. sent2: that both the non-inauguralness and the diving clawed occurs is not right if the inequitableness happens. sent3: that the atonement does not occur and the sharpening does not occur does not hold if the oversleeping does not occur. sent4: that the enormity does not occur and the flagellation does not occur is correct if the respecting wrester does not occur. sent5: that the inaugural does not occur and the diving clawed does not occur prevents the inequitableness. sent6: the fact that the inauguralness but not the diving clawed happens is not true. sent7: the fact that both the non-inauguralness and the diving clawed occurs is not right. sent8: the inauguralness does not occur. sent9: if the enormity does not occur the diving high-five or the inequitableness or both happens. sent10: the inequitableness does not occur if not the inauguralness but the diving clawed happens. ; $proof$ = 
void -> assump1: Let's assume that the inaugural does not occur and the diving clawed does not occur.; sent5 & assump1 -> int1: the inequitableness does not occur.; void -> assump2: Let's assume that the inequitableness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the inauguralness does not occur and the diving clawed does not occur hold does not hold.; [assump2] & int3 -> hypothesis; __PROVED__