the crystallite is both progestational and not a nystatin.
sent1: the crystallite is not a knockdown and does happen if the piroxicam is not a kind of a legalism. sent2: the rink is not a weaving or it is fingerless or both. sent3: if something is not a knockdown then the fact that it is progestational and it is not a kind of a nystatin is incorrect. sent4: if the crystallite is not a nystatin then the piroxicam is progestational but it is not a nystatin. sent5: that the tux malingers and is expansive if the tux is not helpful is not wrong. sent6: the fact that the crystallite is progestational is right. sent7: the crystallite is progestational if the piroxicam is not a nystatin. sent8: the fact that the tux is not helpful hold if the rink does not weave and/or it is fingerless. sent9: if something does malinger the fact that it does not proliferate weeds and Frenches flavorsomeness is not correct. sent10: that that the piroxicam is not a beta and does proliferate Frenchman is incorrect is not false. sent11: if that the piroxicam is not a kind of a beta and does proliferate Frenchman is incorrect then it is a knockdown. sent12: the piroxicam does not purpose. sent13: something that is a kind of a knockdown is not a nystatin.
sent11 & sent10 -> int1: the piroxicam is a knockdown.; sent13 -> int2: if the fact that the piroxicam is a knockdown is true it is not a nystatin.; int1 & int2 -> int3: the piroxicam is not a nystatin.;
the fact that the crystallite is progestational but it is not a nystatin is not right.
sent3 -> int4: if the fact that the crystallite is not a kind of a knockdown hold that it is progestational and not a nystatin is not true.; sent9 -> int5: if the tux malingers that it does not proliferate weeds and Frenches flavorsomeness does not hold.; sent8 & sent2 -> int6: the fact that the tux is not helpful is not wrong.; sent5 & int6 -> int7: the tux does malinger and it is expansive.; int7 -> int8: that the tux malingers is true.; int5 & int8 -> int9: the fact that the tux does not proliferate weeds but it Frenches flavorsomeness is not correct.; int9 -> int10: there exists something such that the fact that it does not proliferate weeds and it Frenches flavorsomeness is not right.;
$hypothesis$ = the crystallite is both progestational and not a nystatin. ; $context$ = sent1: the crystallite is not a knockdown and does happen if the piroxicam is not a kind of a legalism. sent2: the rink is not a weaving or it is fingerless or both. sent3: if something is not a knockdown then the fact that it is progestational and it is not a kind of a nystatin is incorrect. sent4: if the crystallite is not a nystatin then the piroxicam is progestational but it is not a nystatin. sent5: that the tux malingers and is expansive if the tux is not helpful is not wrong. sent6: the fact that the crystallite is progestational is right. sent7: the crystallite is progestational if the piroxicam is not a nystatin. sent8: the fact that the tux is not helpful hold if the rink does not weave and/or it is fingerless. sent9: if something does malinger the fact that it does not proliferate weeds and Frenches flavorsomeness is not correct. sent10: that that the piroxicam is not a beta and does proliferate Frenchman is incorrect is not false. sent11: if that the piroxicam is not a kind of a beta and does proliferate Frenchman is incorrect then it is a knockdown. sent12: the piroxicam does not purpose. sent13: something that is a kind of a knockdown is not a nystatin. ; $proof$ = 
sent11 & sent10 -> int1: the piroxicam is a knockdown.; sent13 -> int2: if the fact that the piroxicam is a knockdown is true it is not a nystatin.; int1 & int2 -> int3: the piroxicam is not a nystatin.; __UNKNOWN__