the vinification is non-full-time.
sent1: the ibis is regimentals thing that blacklists Archidiskidon. sent2: that the vinification is non-full-time is not incorrect if a regimentals thing is a busybody. sent3: there is something such that it is an institute that is a busybody. sent4: the mockernut is an institute and does stave praenomen. sent5: there is something such that it is a busybody. sent6: there is something such that it is regimentals. sent7: there is something such that it is an institute. sent8: something does stave praenomen and it is a busybody. sent9: the vinification does institute. sent10: the syncopator institutes and is counterrevolutionary. sent11: there exists something such that it does stave praenomen and it is full-time. sent12: if the fact that the mockernut does stave praenomen hold then it is regimentals.
sent4 -> int1: that the mockernut does stave praenomen is not false.; int1 & sent12 -> int2: the mockernut is regimentals.;
$hypothesis$ = the vinification is non-full-time. ; $context$ = sent1: the ibis is regimentals thing that blacklists Archidiskidon. sent2: that the vinification is non-full-time is not incorrect if a regimentals thing is a busybody. sent3: there is something such that it is an institute that is a busybody. sent4: the mockernut is an institute and does stave praenomen. sent5: there is something such that it is a busybody. sent6: there is something such that it is regimentals. sent7: there is something such that it is an institute. sent8: something does stave praenomen and it is a busybody. sent9: the vinification does institute. sent10: the syncopator institutes and is counterrevolutionary. sent11: there exists something such that it does stave praenomen and it is full-time. sent12: if the fact that the mockernut does stave praenomen hold then it is regimentals. ; $proof$ = 
sent4 -> int1: that the mockernut does stave praenomen is not false.; int1 & sent12 -> int2: the mockernut is regimentals.; __UNKNOWN__