the motion occurs and the finger-roll happens if the vibrato does not occur.
sent1: if the vibrato occurs both the motion and the finger-roll happens. sent2: if the motion does not occur and the finger-roll does not occur then the fact that the punishment does not occur is not wrong. sent3: if the editorship does not occur but the topographicalness occurs the woolenness happens. sent4: both the trim and the tweezing topspin happens. sent5: the motion occurs if the beef does not occur. sent6: the crumbling 401-k occurs if the blemish does not occur. sent7: the astomatalness does not occur and the interdisciplinariness occurs. sent8: the finger-roll occurs if the vibrato does not occur but the punishment happens. sent9: the punishment occurs. sent10: the downstageness occurs. sent11: the crumbling brodiaea happens. sent12: the crumbling cybersex does not occur and the small-capitalizationness occurs if the fact that the vibrato occurs hold. sent13: the landler occurs and the insistence happens if the annihilation does not occur. sent14: the arthralgicness does not occur. sent15: the reporting does not occur. sent16: that the finger-roll occurs is brought about by that the vibrato and the punishment occurs. sent17: that the companying town does not occur is prevented by that the vibrato happens. sent18: the cachecticness occurs.
void -> assump1: Let's assume that the vibrato does not occur.; assump1 & sent9 -> int1: the vibrato does not occur and the punishment occurs.; int1 & sent8 -> int2: the finger-roll occurs.;
the pilgrimage does not occur.
$hypothesis$ = the motion occurs and the finger-roll happens if the vibrato does not occur. ; $context$ = sent1: if the vibrato occurs both the motion and the finger-roll happens. sent2: if the motion does not occur and the finger-roll does not occur then the fact that the punishment does not occur is not wrong. sent3: if the editorship does not occur but the topographicalness occurs the woolenness happens. sent4: both the trim and the tweezing topspin happens. sent5: the motion occurs if the beef does not occur. sent6: the crumbling 401-k occurs if the blemish does not occur. sent7: the astomatalness does not occur and the interdisciplinariness occurs. sent8: the finger-roll occurs if the vibrato does not occur but the punishment happens. sent9: the punishment occurs. sent10: the downstageness occurs. sent11: the crumbling brodiaea happens. sent12: the crumbling cybersex does not occur and the small-capitalizationness occurs if the fact that the vibrato occurs hold. sent13: the landler occurs and the insistence happens if the annihilation does not occur. sent14: the arthralgicness does not occur. sent15: the reporting does not occur. sent16: that the finger-roll occurs is brought about by that the vibrato and the punishment occurs. sent17: that the companying town does not occur is prevented by that the vibrato happens. sent18: the cachecticness occurs. ; $proof$ = 
void -> assump1: Let's assume that the vibrato does not occur.; assump1 & sent9 -> int1: the vibrato does not occur and the punishment occurs.; int1 & sent8 -> int2: the finger-roll occurs.; __UNKNOWN__