that the swish happens but the Stravinskyanness does not occur is false if the braying occurs.
sent1: if the progressive does not occur then the fact that both the swish and the non-Stravinskyanness happens is not true. sent2: if the progressive does not occur then the swish and the non-Stravinskyanness occurs. sent3: if the do-si-do and the indistinctness occurs the barring chance-medley does not occur. sent4: both the autotomicness and the metacarpalness occurs. sent5: the channelization does not occur if both the surmounting and the soft-shoe occurs. sent6: the surmounting occurs. sent7: if the fact that the numerating hinny happens is not incorrect then that the DC and the non-brotherliness happens does not hold. sent8: that the antipyreticness and the quartanness happens hold. sent9: the redeye and the skinlessness occurs. sent10: that the swish occurs and the Stravinskyanness occurs is false. sent11: if the regenerating does not occur then that the fact that the heave occurs and the numerating compress does not occur is not true is not wrong. sent12: the progressive does not occur if the antipyreticness occurs and the barring blubber occurs. sent13: that both the swish and the Stravinskyanness happens is not true if the progressive does not occur. sent14: the barring crawlspace occurs and the prayer happens. sent15: the muscularness does not occur. sent16: if the auroralness does not occur then the fact that both the autotomicness and the unostentatiousness occurs is not correct. sent17: the bray leads to that the swish but not the Stravinskyanness occurs. sent18: the swish and the non-Stravinskyanness happens. sent19: the fielding Uruguayan occurs. sent20: the fact that the swish and the Stravinskyanness happens is incorrect if the bray happens. sent21: that the quartan happens is not incorrect.
void -> assump1: Let's assume that the braying happens.; sent8 -> int1: that the antipyreticness occurs is right.;
$hypothesis$ = that the swish happens but the Stravinskyanness does not occur is false if the braying occurs. ; $context$ = sent1: if the progressive does not occur then the fact that both the swish and the non-Stravinskyanness happens is not true. sent2: if the progressive does not occur then the swish and the non-Stravinskyanness occurs. sent3: if the do-si-do and the indistinctness occurs the barring chance-medley does not occur. sent4: both the autotomicness and the metacarpalness occurs. sent5: the channelization does not occur if both the surmounting and the soft-shoe occurs. sent6: the surmounting occurs. sent7: if the fact that the numerating hinny happens is not incorrect then that the DC and the non-brotherliness happens does not hold. sent8: that the antipyreticness and the quartanness happens hold. sent9: the redeye and the skinlessness occurs. sent10: that the swish occurs and the Stravinskyanness occurs is false. sent11: if the regenerating does not occur then that the fact that the heave occurs and the numerating compress does not occur is not true is not wrong. sent12: the progressive does not occur if the antipyreticness occurs and the barring blubber occurs. sent13: that both the swish and the Stravinskyanness happens is not true if the progressive does not occur. sent14: the barring crawlspace occurs and the prayer happens. sent15: the muscularness does not occur. sent16: if the auroralness does not occur then the fact that both the autotomicness and the unostentatiousness occurs is not correct. sent17: the bray leads to that the swish but not the Stravinskyanness occurs. sent18: the swish and the non-Stravinskyanness happens. sent19: the fielding Uruguayan occurs. sent20: the fact that the swish and the Stravinskyanness happens is incorrect if the bray happens. sent21: that the quartan happens is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the braying happens.; sent8 -> int1: that the antipyreticness occurs is right.; __UNKNOWN__