the reseau is both a lockup and a Vietnamese.
sent1: if the ball-buster is a kind of a ROI then the fact that it phrases is not wrong. sent2: the reseau is a lockup and it is a Vietnamese if the jiggermast is not a lockup. sent3: if the CAD is a piggyback that the jiggermast is a ROI and not a phrase is not true. sent4: that the ball-buster is a phrase and is not a kind of a ROI is incorrect if the omega-3 is not a kind of a piggyback. sent5: if the ball-buster is a kind of pistillate thing that is a bankruptcy it is a ROI. sent6: something is a coherence if it shops shrink-wrap. sent7: there exists nothing such that it is not a Tera and it does shop shrink-wrap. sent8: the omega-3 is a bankruptcy. sent9: the reseau is a kind of a Vietnamese. sent10: the jiggermast shops shrink-wrap. sent11: either something bogs club or it is not a kind of a coherence or both if it does not shop shrink-wrap. sent12: the CAD is a piggyback. sent13: the omega-3 is not a piggyback if it bogs club and/or is not a coherence. sent14: that the jiggermast phrases hold if the ball-buster does shop shrink-wrap. sent15: if the omega-3 does piggyback then the fact that the jiggermast does bog club is not wrong. sent16: the ball-buster is not a kind of a bankruptcy. sent17: that if the ball-buster does not phrase that the reseau is a kind of a lockup that is a kind of a Vietnamese is not true hold. sent18: The shrink-wrap shops jiggermast. sent19: the ball-buster is not a kind of a coherence. sent20: the ball-buster is pistillate but it is not a bankruptcy. sent21: the reseau is Vietnamese if the jiggermast is not a kind of a lockup. sent22: the ball-buster is a ROI if it is pistillate and it is not a bankruptcy. sent23: if the jiggermast bogs club and it is a coherence then it is not a lockup.
sent22 & sent20 -> int1: the ball-buster is a ROI.; int1 & sent1 -> int2: that the ball-buster phrases hold.; sent6 -> int3: that the jiggermast is a coherence hold if it does shop shrink-wrap.; int3 & sent10 -> int4: the jiggermast is a coherence.;
that the reseau is a lockup and it is Vietnamese is not correct.
sent11 -> int5: the omega-3 bogs club and/or is not a kind of a coherence if it does not shop shrink-wrap.; sent7 -> int6: that the fact that the jiggermast is not a kind of a Tera but it does shop shrink-wrap hold does not hold.; int6 -> int7: there is something such that the fact that it is not a Tera and it shops shrink-wrap is wrong.;
$hypothesis$ = the reseau is both a lockup and a Vietnamese. ; $context$ = sent1: if the ball-buster is a kind of a ROI then the fact that it phrases is not wrong. sent2: the reseau is a lockup and it is a Vietnamese if the jiggermast is not a lockup. sent3: if the CAD is a piggyback that the jiggermast is a ROI and not a phrase is not true. sent4: that the ball-buster is a phrase and is not a kind of a ROI is incorrect if the omega-3 is not a kind of a piggyback. sent5: if the ball-buster is a kind of pistillate thing that is a bankruptcy it is a ROI. sent6: something is a coherence if it shops shrink-wrap. sent7: there exists nothing such that it is not a Tera and it does shop shrink-wrap. sent8: the omega-3 is a bankruptcy. sent9: the reseau is a kind of a Vietnamese. sent10: the jiggermast shops shrink-wrap. sent11: either something bogs club or it is not a kind of a coherence or both if it does not shop shrink-wrap. sent12: the CAD is a piggyback. sent13: the omega-3 is not a piggyback if it bogs club and/or is not a coherence. sent14: that the jiggermast phrases hold if the ball-buster does shop shrink-wrap. sent15: if the omega-3 does piggyback then the fact that the jiggermast does bog club is not wrong. sent16: the ball-buster is not a kind of a bankruptcy. sent17: that if the ball-buster does not phrase that the reseau is a kind of a lockup that is a kind of a Vietnamese is not true hold. sent18: The shrink-wrap shops jiggermast. sent19: the ball-buster is not a kind of a coherence. sent20: the ball-buster is pistillate but it is not a bankruptcy. sent21: the reseau is Vietnamese if the jiggermast is not a kind of a lockup. sent22: the ball-buster is a ROI if it is pistillate and it is not a bankruptcy. sent23: if the jiggermast bogs club and it is a coherence then it is not a lockup. ; $proof$ = 
sent22 & sent20 -> int1: the ball-buster is a ROI.; int1 & sent1 -> int2: that the ball-buster phrases hold.; sent6 -> int3: that the jiggermast is a coherence hold if it does shop shrink-wrap.; int3 & sent10 -> int4: the jiggermast is a coherence.; __UNKNOWN__