that the tweezing girder happens or the genesis happens or both is triggered by that the temperance does not occur.
sent1: the racism does not occur but the tweezing girder happens if the temperance does not occur. sent2: if that the temperance occurs is not false then the tweezing girder or the genesis or both occurs. sent3: that the shouting happens hold. sent4: the racism does not occur if the fact that the fact that the temperance happens is true does not hold. sent5: the indelicateness happens or the twanging happens or both. sent6: the racism does not occur but the tweezing girder happens if the temperance occurs. sent7: either the drilling occurs or the squaring happens or both. sent8: the racism does not occur.
void -> assump1: Let's assume that the temperance does not occur.; sent1 & assump1 -> int1: the racism does not occur but the tweezing girder occurs.; int1 -> int2: the tweezing girder happens.; int2 -> int3: either the tweezing girder occurs or the genesis happens or both.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the tweezing girder happens or the genesis happens or both is triggered by that the temperance does not occur. ; $context$ = sent1: the racism does not occur but the tweezing girder happens if the temperance does not occur. sent2: if that the temperance occurs is not false then the tweezing girder or the genesis or both occurs. sent3: that the shouting happens hold. sent4: the racism does not occur if the fact that the fact that the temperance happens is true does not hold. sent5: the indelicateness happens or the twanging happens or both. sent6: the racism does not occur but the tweezing girder happens if the temperance occurs. sent7: either the drilling occurs or the squaring happens or both. sent8: the racism does not occur. ; $proof$ = 
void -> assump1: Let's assume that the temperance does not occur.; sent1 & assump1 -> int1: the racism does not occur but the tweezing girder occurs.; int1 -> int2: the tweezing girder happens.; int2 -> int3: either the tweezing girder occurs or the genesis happens or both.; [assump1] & int3 -> hypothesis; __PROVED__