that both the companying sonnet and the ataxicness occurs does not hold if the bond does not occur.
sent1: the slippage does not occur if the companying step and the invasiveness occurs. sent2: either the crumbling Patella does not occur or the tweezing cordwood happens or both. sent3: the Vietnamese happens. sent4: if the tinniness does not occur that the companying sonnet and the ataxicness occurs does not hold. sent5: the tweezing opportunism does not occur if the crumbling dynamite does not occur. sent6: the crumbling dynamite does not occur. sent7: that the crumbling Patella does not occur or that the tweezing cordwood does not occur or both leads to that the charlatanism does not occur. sent8: that the crumbling dynamite does not occur brings about that the fastness does not occur and the tweezing opportunism does not occur. sent9: the crumbling Patella does not occur if the Vietnamese and the tinniness occurs.
void -> assump1: Let's assume that the tinniness occurs.; sent3 & assump1 -> int1: the Vietnameseness occurs and the tinniness occurs.; int1 & sent9 -> int2: the crumbling Patella does not occur.; int2 -> int3: either the crumbling Patella does not occur or the tweezing cordwood does not occur or both.; int3 & sent7 -> int4: the charlatanism does not occur.; void -> assump2: Let's assume that the bonding does not occur.; int4 & assump2 -> int5: the charlatanism does not occur and the bonding does not occur.; sent8 & sent6 -> int6: the fastness does not occur and the tweezing opportunism does not occur.; int6 -> int7: the fasting does not occur.;
$hypothesis$ = that both the companying sonnet and the ataxicness occurs does not hold if the bond does not occur. ; $context$ = sent1: the slippage does not occur if the companying step and the invasiveness occurs. sent2: either the crumbling Patella does not occur or the tweezing cordwood happens or both. sent3: the Vietnamese happens. sent4: if the tinniness does not occur that the companying sonnet and the ataxicness occurs does not hold. sent5: the tweezing opportunism does not occur if the crumbling dynamite does not occur. sent6: the crumbling dynamite does not occur. sent7: that the crumbling Patella does not occur or that the tweezing cordwood does not occur or both leads to that the charlatanism does not occur. sent8: that the crumbling dynamite does not occur brings about that the fastness does not occur and the tweezing opportunism does not occur. sent9: the crumbling Patella does not occur if the Vietnamese and the tinniness occurs. ; $proof$ = 
void -> assump1: Let's assume that the tinniness occurs.; sent3 & assump1 -> int1: the Vietnameseness occurs and the tinniness occurs.; int1 & sent9 -> int2: the crumbling Patella does not occur.; int2 -> int3: either the crumbling Patella does not occur or the tweezing cordwood does not occur or both.; int3 & sent7 -> int4: the charlatanism does not occur.; void -> assump2: Let's assume that the bonding does not occur.; int4 & assump2 -> int5: the charlatanism does not occur and the bonding does not occur.; sent8 & sent6 -> int6: the fastness does not occur and the tweezing opportunism does not occur.; int6 -> int7: the fasting does not occur.; __UNKNOWN__