the siderite is not passable but an exterminator.
sent1: the siderite is unpopular. sent2: the hound does smite firkin if something does not vent. sent3: there exists something such that that it is a kind of an exterminator and smites firkin does not hold. sent4: the condom is not passable. sent5: everything dreams bleachers and it is a somatotype. sent6: the siderite is a mortician. sent7: there is something such that it is both not passable and a Zabrze. sent8: the siderite is not a juvenile. sent9: there exists something such that that it is a Zabrze and it is passable does not hold. sent10: the siderite is not passable but it is a Zabrze. sent11: the cheapskate is not a Zabrze if the hound is mandibular thing that smites firkin. sent12: the dyspeptic is a kind of a Zabrze. sent13: there exists something such that that it is a Zabrze and an exterminator is incorrect. sent14: if something is a somatotype then the fact that it is mandibular hold. sent15: the siderite is a kind of an unknown. sent16: the Albanian is not a kind of a vent. sent17: there exists something such that the fact that it is not a kind of an exterminator and does smite firkin is not true. sent18: the siderite is an overgrowth. sent19: there exists something such that it is not a kind of a Zabrze and it is passable.
sent10 -> int1: the siderite is not passable.;
that the siderite is not passable but it is an exterminator is incorrect.
sent14 -> int2: if the hound is a somatotype then it is mandibular.; sent5 -> int3: the hound does dream bleachers and is a somatotype.; int3 -> int4: the hound is a kind of a somatotype.; int2 & int4 -> int5: the hound is mandibular.; sent16 -> int6: there is something such that it is not a vent.; int6 & sent2 -> int7: the hound smites firkin.; int5 & int7 -> int8: the hound is mandibular and smites firkin.; sent11 & int8 -> int9: the cheapskate is not a Zabrze.; int9 -> int10: there exists something such that it is not a Zabrze.;
$hypothesis$ = the siderite is not passable but an exterminator. ; $context$ = sent1: the siderite is unpopular. sent2: the hound does smite firkin if something does not vent. sent3: there exists something such that that it is a kind of an exterminator and smites firkin does not hold. sent4: the condom is not passable. sent5: everything dreams bleachers and it is a somatotype. sent6: the siderite is a mortician. sent7: there is something such that it is both not passable and a Zabrze. sent8: the siderite is not a juvenile. sent9: there exists something such that that it is a Zabrze and it is passable does not hold. sent10: the siderite is not passable but it is a Zabrze. sent11: the cheapskate is not a Zabrze if the hound is mandibular thing that smites firkin. sent12: the dyspeptic is a kind of a Zabrze. sent13: there exists something such that that it is a Zabrze and an exterminator is incorrect. sent14: if something is a somatotype then the fact that it is mandibular hold. sent15: the siderite is a kind of an unknown. sent16: the Albanian is not a kind of a vent. sent17: there exists something such that the fact that it is not a kind of an exterminator and does smite firkin is not true. sent18: the siderite is an overgrowth. sent19: there exists something such that it is not a kind of a Zabrze and it is passable. ; $proof$ = 
sent10 -> int1: the siderite is not passable.; __UNKNOWN__