there exists something such that if it is a kind of a tyrothricin that it is not serviceable and it is not an yttrium is not true.
sent1: the fact that the wake is unserviceable and it is an yttrium does not hold if it is a tyrothricin. sent2: there is something such that if it is a Whitehead then that it vexes Nymphalidae and is not a kind of an employable is incorrect. sent3: if something is a tyrothricin it is unserviceable and is not an yttrium. sent4: the fact that something is both an article and not a cackle is not correct if it is symmetrical. sent5: that something is an admissibility but it is not a kind of a balaclava is not correct if it does decorate covert. sent6: if the brigandine is unserviceable that it is not non-retrospective but unfathomable is not right. sent7: if something is a kind of a boredom the fact that it does pan ginger and is not biocatalytic is wrong. sent8: the fact that the wake does vex bidet but it is not a tyrothricin is not right if it is favorable. sent9: the fact that something is unserviceable and it is an yttrium is wrong if it is a tyrothricin. sent10: if the ginger does shear the fact that it is pregnant and it is not a balaclava does not hold. sent11: that something is trackless but it is not a Sophora is incorrect if it is unsound. sent12: there is something such that if it is a carton then that it is hypoglycemic but not fascist is not correct. sent13: there is something such that if it is a tyrothricin then it is unserviceable and it is not a kind of an yttrium. sent14: that something blinds but it does not input is false if it vexes Klein. sent15: the wake is unserviceable and is not an yttrium if that it is a kind of a tyrothricin is not incorrect. sent16: there exists something such that if it is a tyrothricin the fact that it is unserviceable an yttrium is incorrect. sent17: there exists something such that if it is shakedown then that it is nonmonotonic and it is not a kind of a Bourbon does not hold. sent18: there exists something such that if it is a cosine then that it is employable and it is not pregnant is wrong.
$hypothesis$ = there exists something such that if it is a kind of a tyrothricin that it is not serviceable and it is not an yttrium is not true. ; $context$ = sent1: the fact that the wake is unserviceable and it is an yttrium does not hold if it is a tyrothricin. sent2: there is something such that if it is a Whitehead then that it vexes Nymphalidae and is not a kind of an employable is incorrect. sent3: if something is a tyrothricin it is unserviceable and is not an yttrium. sent4: the fact that something is both an article and not a cackle is not correct if it is symmetrical. sent5: that something is an admissibility but it is not a kind of a balaclava is not correct if it does decorate covert. sent6: if the brigandine is unserviceable that it is not non-retrospective but unfathomable is not right. sent7: if something is a kind of a boredom the fact that it does pan ginger and is not biocatalytic is wrong. sent8: the fact that the wake does vex bidet but it is not a tyrothricin is not right if it is favorable. sent9: the fact that something is unserviceable and it is an yttrium is wrong if it is a tyrothricin. sent10: if the ginger does shear the fact that it is pregnant and it is not a balaclava does not hold. sent11: that something is trackless but it is not a Sophora is incorrect if it is unsound. sent12: there is something such that if it is a carton then that it is hypoglycemic but not fascist is not correct. sent13: there is something such that if it is a tyrothricin then it is unserviceable and it is not a kind of an yttrium. sent14: that something blinds but it does not input is false if it vexes Klein. sent15: the wake is unserviceable and is not an yttrium if that it is a kind of a tyrothricin is not incorrect. sent16: there exists something such that if it is a tyrothricin the fact that it is unserviceable an yttrium is incorrect. sent17: there exists something such that if it is shakedown then that it is nonmonotonic and it is not a kind of a Bourbon does not hold. sent18: there exists something such that if it is a cosine then that it is employable and it is not pregnant is wrong. ; $proof$ = 
__UNKNOWN__