the confit is a NSW.
sent1: the fact that the jotter is not uniovular but it is a NSW is wrong if there is something such that it is not unswept. sent2: the dishwater is a wrecker. sent3: if something that symbolizes is not uniovular it is not a reactor. sent4: if there exists something such that it does not symbolize the fact that the jotter is not uniovular but it is unswept is not right. sent5: if the ununhexium is a NSW the confit is a NSW that is not cytolytic. sent6: the exercycle does modify. sent7: if something is a FIFO but it is not a zygoma it is cytolytic. sent8: the ununhexium is a NSW if there exists something such that the fact that it is both not uniovular and unswept is not true. sent9: there exists something such that it does not symbolize. sent10: the fact that the jotter is unswept is not wrong if the ununhexium is cytolytic. sent11: if the jotter is not cytolytic that it is a NSW and it is not unswept is not correct. sent12: if the weathervane is trapezoidal then it is a sideboard. sent13: if that something is not a kind of a zygoma but it is cytolytic is wrong then it is cytolytic. sent14: if the exercycle does modify then the apojove does not queen racerunner but it is a Gentianella. sent15: if the apojove does not queen racerunner then that it either is not trapezoidal or is a put-put or both is incorrect. sent16: the weathervane is trapezoidal if the fact that either the apojove is not trapezoidal or it is a kind of a put-put or both is incorrect. sent17: the ununhexium is not a zygoma and not cleistogamous if the dishwater is a wrecker. sent18: that the confit is not a NSW but it is uniovular is wrong. sent19: something is unswept if the fact that it is a NSW and is not unswept is false. sent20: if the weathervane is a sideboard then the ununhexium is a FIFO. sent21: that the jotter is not a zygoma but cytolytic does not hold.
sent9 & sent4 -> int1: the fact that that the jotter is not uniovular but unswept is correct is wrong.; int1 -> int2: there is something such that that it is not uniovular but unswept does not hold.; int2 & sent8 -> int3: the ununhexium is a NSW.; sent5 & int3 -> int4: the confit is a kind of a NSW that is not cytolytic.; int4 -> hypothesis;
the confit is not a kind of a NSW.
sent7 -> int5: if the ununhexium is a kind of a FIFO but it is not a zygoma then it is cytolytic.; sent14 & sent6 -> int6: the apojove does not queen racerunner but it is a Gentianella.; int6 -> int7: the apojove does not queen racerunner.; sent15 & int7 -> int8: that the apojove is either not trapezoidal or a put-put or both is incorrect.; sent16 & int8 -> int9: the fact that the weathervane is trapezoidal hold.; sent12 & int9 -> int10: the weathervane is a kind of a sideboard.; sent20 & int10 -> int11: the ununhexium is a FIFO.; sent17 & sent2 -> int12: the ununhexium is not a zygoma and not cleistogamous.; int12 -> int13: the ununhexium is not a zygoma.; int11 & int13 -> int14: the ununhexium is a FIFO and is not a kind of a zygoma.; int5 & int14 -> int15: the ununhexium is cytolytic.; sent10 & int15 -> int16: the jotter is unswept.;
$hypothesis$ = the confit is a NSW. ; $context$ = sent1: the fact that the jotter is not uniovular but it is a NSW is wrong if there is something such that it is not unswept. sent2: the dishwater is a wrecker. sent3: if something that symbolizes is not uniovular it is not a reactor. sent4: if there exists something such that it does not symbolize the fact that the jotter is not uniovular but it is unswept is not right. sent5: if the ununhexium is a NSW the confit is a NSW that is not cytolytic. sent6: the exercycle does modify. sent7: if something is a FIFO but it is not a zygoma it is cytolytic. sent8: the ununhexium is a NSW if there exists something such that the fact that it is both not uniovular and unswept is not true. sent9: there exists something such that it does not symbolize. sent10: the fact that the jotter is unswept is not wrong if the ununhexium is cytolytic. sent11: if the jotter is not cytolytic that it is a NSW and it is not unswept is not correct. sent12: if the weathervane is trapezoidal then it is a sideboard. sent13: if that something is not a kind of a zygoma but it is cytolytic is wrong then it is cytolytic. sent14: if the exercycle does modify then the apojove does not queen racerunner but it is a Gentianella. sent15: if the apojove does not queen racerunner then that it either is not trapezoidal or is a put-put or both is incorrect. sent16: the weathervane is trapezoidal if the fact that either the apojove is not trapezoidal or it is a kind of a put-put or both is incorrect. sent17: the ununhexium is not a zygoma and not cleistogamous if the dishwater is a wrecker. sent18: that the confit is not a NSW but it is uniovular is wrong. sent19: something is unswept if the fact that it is a NSW and is not unswept is false. sent20: if the weathervane is a sideboard then the ununhexium is a FIFO. sent21: that the jotter is not a zygoma but cytolytic does not hold. ; $proof$ = 
sent9 & sent4 -> int1: the fact that that the jotter is not uniovular but unswept is correct is wrong.; int1 -> int2: there is something such that that it is not uniovular but unswept does not hold.; int2 & sent8 -> int3: the ununhexium is a NSW.; sent5 & int3 -> int4: the confit is a kind of a NSW that is not cytolytic.; int4 -> hypothesis; __PROVED__