the scale occurs.
sent1: that the unexpansiveness does not occur and the laboring does not occur is triggered by that the self-pollination does not occur. sent2: if the fact that the weightlift happens is right the self-pollination does not occur and the sounding Burk does not occur. sent3: the depreciating occurs. sent4: the labor does not occur. sent5: the blastemalness occurs. sent6: the depreciating does not occur if the unexpansiveness does not occur and the labor does not occur. sent7: if the scale does not occur then the blastemalness and the election occurs. sent8: that the indiscriminateness occurs is caused by that the muffing bathymeter does not occur. sent9: that the rising happens brings about that the bray does not occur and the scale does not occur. sent10: that the depreciating does not occur yields that the strut occurs and/or the rising occurs. sent11: both the self-pollination and the placebo occurs. sent12: the unexpansiveness occurs and the self-pollination occurs if the sounding Burk does not occur. sent13: the blastemalness happens if the scale does not occur. sent14: the depreciating occurs if the laboring does not occur. sent15: if the rising happens then the strut does not occur. sent16: the coarseness does not occur. sent17: if the election and/or the rising happens the strut does not occur. sent18: if the depreciating does not occur both the rise and the strut occurs.
void -> assump1: Let's assume that that the scale does not occur is not wrong.; sent7 & assump1 -> int1: the blastemalness and the election happens.; int1 -> int2: the election occurs.; int2 -> int3: the election occurs and/or the rising occurs.; int3 & sent17 -> int4: that the strut does not occur hold.;
the bray does not occur.
$hypothesis$ = the scale occurs. ; $context$ = sent1: that the unexpansiveness does not occur and the laboring does not occur is triggered by that the self-pollination does not occur. sent2: if the fact that the weightlift happens is right the self-pollination does not occur and the sounding Burk does not occur. sent3: the depreciating occurs. sent4: the labor does not occur. sent5: the blastemalness occurs. sent6: the depreciating does not occur if the unexpansiveness does not occur and the labor does not occur. sent7: if the scale does not occur then the blastemalness and the election occurs. sent8: that the indiscriminateness occurs is caused by that the muffing bathymeter does not occur. sent9: that the rising happens brings about that the bray does not occur and the scale does not occur. sent10: that the depreciating does not occur yields that the strut occurs and/or the rising occurs. sent11: both the self-pollination and the placebo occurs. sent12: the unexpansiveness occurs and the self-pollination occurs if the sounding Burk does not occur. sent13: the blastemalness happens if the scale does not occur. sent14: the depreciating occurs if the laboring does not occur. sent15: if the rising happens then the strut does not occur. sent16: the coarseness does not occur. sent17: if the election and/or the rising happens the strut does not occur. sent18: if the depreciating does not occur both the rise and the strut occurs. ; $proof$ = 
void -> assump1: Let's assume that that the scale does not occur is not wrong.; sent7 & assump1 -> int1: the blastemalness and the election happens.; int1 -> int2: the election occurs.; int2 -> int3: the election occurs and/or the rising occurs.; int3 & sent17 -> int4: that the strut does not occur hold.; __UNKNOWN__