that the atomization occurs prevents that the cycle occurs.
sent1: that the establishment occurs hold. sent2: the downstreamness occurs if the cycle happens. sent3: that the injection occurs is correct. sent4: the cycling happens if the atomization happens. sent5: that the glimpsing but not the contemplating occurs results in the fug. sent6: the glimpse occurs. sent7: the macrobioticness occurs but the barring saccade does not occur. sent8: the fact that the Set occurs is true. sent9: the cycling does not occur if the barring bar does not occur. sent10: the severance happens. sent11: the de-escalation does not occur if both the colloquium and the function happens. sent12: the barring changer does not occur. sent13: the specialism is triggered by that the numerating Tabanidae but not the strafing occurs. sent14: that the cycling occurs is caused by that the liquidity does not occur and the alertness happens. sent15: the atomization occurs if both the fug and the barring bar occurs. sent16: the functioning happens. sent17: the glimpse happens but the contemplating does not occur.
void -> assump2: Let's assume that the atomization happens.; sent5 & sent17 -> int1: the fug happens.; void -> assump1: Let's assume that the barring bar occurs.; int1 & assump1 -> int2: the fug and the barring bar happens.;
both the downstreamness and the astronomicness occurs.
$hypothesis$ = that the atomization occurs prevents that the cycle occurs. ; $context$ = sent1: that the establishment occurs hold. sent2: the downstreamness occurs if the cycle happens. sent3: that the injection occurs is correct. sent4: the cycling happens if the atomization happens. sent5: that the glimpsing but not the contemplating occurs results in the fug. sent6: the glimpse occurs. sent7: the macrobioticness occurs but the barring saccade does not occur. sent8: the fact that the Set occurs is true. sent9: the cycling does not occur if the barring bar does not occur. sent10: the severance happens. sent11: the de-escalation does not occur if both the colloquium and the function happens. sent12: the barring changer does not occur. sent13: the specialism is triggered by that the numerating Tabanidae but not the strafing occurs. sent14: that the cycling occurs is caused by that the liquidity does not occur and the alertness happens. sent15: the atomization occurs if both the fug and the barring bar occurs. sent16: the functioning happens. sent17: the glimpse happens but the contemplating does not occur. ; $proof$ = 
void -> assump2: Let's assume that the atomization happens.; sent5 & sent17 -> int1: the fug happens.; void -> assump1: Let's assume that the barring bar occurs.; int1 & assump1 -> int2: the fug and the barring bar happens.; __UNKNOWN__