if the sentimentalizing occurs then the boldness occurs.
sent1: the true-falseness occurs. sent2: the traversal occurs. sent3: the inextricableness does not occur if the theologicalness does not occur. sent4: the credit happens. sent5: if the replaying and the corvee happens then the tabulation does not occur. sent6: that not the on-lineness but the slowing occurs brings about that the sentimentalizing does not occur. sent7: if the apteralness happens then the denying cornered occurs. sent8: if the boldness does not occur both the non-on-lineness and the slowness occurs.
void -> assump1: Let's assume that the sentimentalizing happens.; void -> assump2: Let's assume that the boldness does not occur.; sent8 & assump2 -> int1: the non-on-lineness and the slowness happens.; sent6 & int1 -> int2: that the sentimentalizing does not occur hold.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the boldness happens.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the sentimentalizing occurs then the boldness occurs. ; $context$ = sent1: the true-falseness occurs. sent2: the traversal occurs. sent3: the inextricableness does not occur if the theologicalness does not occur. sent4: the credit happens. sent5: if the replaying and the corvee happens then the tabulation does not occur. sent6: that not the on-lineness but the slowing occurs brings about that the sentimentalizing does not occur. sent7: if the apteralness happens then the denying cornered occurs. sent8: if the boldness does not occur both the non-on-lineness and the slowness occurs. ; $proof$ = 
void -> assump1: Let's assume that the sentimentalizing happens.; void -> assump2: Let's assume that the boldness does not occur.; sent8 & assump2 -> int1: the non-on-lineness and the slowness happens.; sent6 & int1 -> int2: that the sentimentalizing does not occur hold.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the boldness happens.; [assump1] & int4 -> hypothesis; __PROVED__