the nitrocellulose is not symptomatic.
sent1: the aperitif is not myeloid if it is not uncharacteristic or does not mint ponytail or both. sent2: if the Testudo does not mint ponytail then it is not a tabletop. sent3: if the Testudo is non-uninucleate the fact that the employer is a drama that is not a tabletop is false. sent4: the fact that the employer is non-symptomatic is true. sent5: the Testudo is not uncharacteristic. sent6: the nitrocellulose is not symptomatic if that that the employer is both a drama and not a tabletop is incorrect is right. sent7: if there is something such that that it is myeloid and/or it is uncharacteristic is incorrect then the supercharger is not an antiseptic. sent8: there is something such that the fact that it is either a tabletop or symptomatic or both is incorrect. sent9: if the supercharger is not an antiseptic the aperitif is myeloid and/or it is not antiseptic. sent10: the aperitif is not myeloid if that the employer is a tabletop and not uncharacteristic is wrong. sent11: if the Testudo does not mint ponytail then that the supercharger is both myeloid and not antiseptic is not right. sent12: if the supercharger is not antiseptic the Testudo does not mint ponytail and/or is not a kind of an antiseptic. sent13: the fact that that the aperitif is not non-myeloid or not characteristic or both is false hold. sent14: that the Testudo is not myeloid hold if the aperitif is not uninucleate. sent15: if there is something such that the fact that it either is uncharacteristic or is myeloid or both is not true the aperitif is not uninucleate. sent16: there exists something such that either it is myeloid or it is uncharacteristic or both. sent17: there is something such that it does not mint ponytail. sent18: there exists something such that either it is a drama or it is antiseptic or both.
sent13 -> int1: there is something such that the fact that it is myeloid and/or it is uncharacteristic does not hold.; int1 & sent7 -> int2: the supercharger is not a kind of an antiseptic.; int2 & sent12 -> int3: the Testudo does not mint ponytail or it is not an antiseptic or both.;
$hypothesis$ = the nitrocellulose is not symptomatic. ; $context$ = sent1: the aperitif is not myeloid if it is not uncharacteristic or does not mint ponytail or both. sent2: if the Testudo does not mint ponytail then it is not a tabletop. sent3: if the Testudo is non-uninucleate the fact that the employer is a drama that is not a tabletop is false. sent4: the fact that the employer is non-symptomatic is true. sent5: the Testudo is not uncharacteristic. sent6: the nitrocellulose is not symptomatic if that that the employer is both a drama and not a tabletop is incorrect is right. sent7: if there is something such that that it is myeloid and/or it is uncharacteristic is incorrect then the supercharger is not an antiseptic. sent8: there is something such that the fact that it is either a tabletop or symptomatic or both is incorrect. sent9: if the supercharger is not an antiseptic the aperitif is myeloid and/or it is not antiseptic. sent10: the aperitif is not myeloid if that the employer is a tabletop and not uncharacteristic is wrong. sent11: if the Testudo does not mint ponytail then that the supercharger is both myeloid and not antiseptic is not right. sent12: if the supercharger is not antiseptic the Testudo does not mint ponytail and/or is not a kind of an antiseptic. sent13: the fact that that the aperitif is not non-myeloid or not characteristic or both is false hold. sent14: that the Testudo is not myeloid hold if the aperitif is not uninucleate. sent15: if there is something such that the fact that it either is uncharacteristic or is myeloid or both is not true the aperitif is not uninucleate. sent16: there exists something such that either it is myeloid or it is uncharacteristic or both. sent17: there is something such that it does not mint ponytail. sent18: there exists something such that either it is a drama or it is antiseptic or both. ; $proof$ = 
sent13 -> int1: there is something such that the fact that it is myeloid and/or it is uncharacteristic does not hold.; int1 & sent7 -> int2: the supercharger is not a kind of an antiseptic.; int2 & sent12 -> int3: the Testudo does not mint ponytail or it is not an antiseptic or both.; __UNKNOWN__