that the demimondaine is a kind of a crankshaft that is hemolytic is false.
sent1: there exists something such that it is cytoplastic. sent2: something is a kind of a waldmeister and it is a kind of a hominy. sent3: the DSL is a waldmeister if the vent is a kind of a deep-sea. sent4: if there are non-cytoplastic things the fact that the vent is a blouse and woolen is not correct. sent5: the demimondaine is hemolytic. sent6: if the vent is a blouse then it is not a strangulation. sent7: if there exists something such that it is not a strangulation then the fact that the vent is not a blouse but hemolytic is wrong. sent8: the pirate is a waldmeister that is not a kind of a hominy if the DSL is a waldmeister. sent9: that the vent is a blouse and it is woolen is wrong. sent10: the vent is a deep-sea if it is not a strangulation. sent11: something is not a strangulation if that it is not a blouse and is woolen does not hold. sent12: there exists something such that it is a waldmeister. sent13: the fact that the vent is not a kind of a blouse but it is woolen is not right if something is not cytoplastic. sent14: there exists something such that it is not a hominy. sent15: the demimondaine is a kind of a crankshaft if there exists something such that it is a waldmeister that is not a kind of a hominy. sent16: something is not cytoplastic.
sent16 & sent13 -> int1: that the vent is not a blouse but it is woolen is wrong.; sent11 -> int2: if the fact that the vent is not a blouse but woolen does not hold then the fact that it is a strangulation is not right.; int1 & int2 -> int3: the vent is not a strangulation.; int3 & sent10 -> int4: the vent is a deep-sea.; int4 & sent3 -> int5: the DSL is a waldmeister.; int5 & sent8 -> int6: the pirate is a kind of a waldmeister and is not a kind of a hominy.; int6 -> int7: something is a waldmeister and is not a hominy.; int7 & sent15 -> int8: the demimondaine is a crankshaft.; int8 & sent5 -> hypothesis;
$hypothesis$ = that the demimondaine is a kind of a crankshaft that is hemolytic is false. ; $context$ = sent1: there exists something such that it is cytoplastic. sent2: something is a kind of a waldmeister and it is a kind of a hominy. sent3: the DSL is a waldmeister if the vent is a kind of a deep-sea. sent4: if there are non-cytoplastic things the fact that the vent is a blouse and woolen is not correct. sent5: the demimondaine is hemolytic. sent6: if the vent is a blouse then it is not a strangulation. sent7: if there exists something such that it is not a strangulation then the fact that the vent is not a blouse but hemolytic is wrong. sent8: the pirate is a waldmeister that is not a kind of a hominy if the DSL is a waldmeister. sent9: that the vent is a blouse and it is woolen is wrong. sent10: the vent is a deep-sea if it is not a strangulation. sent11: something is not a strangulation if that it is not a blouse and is woolen does not hold. sent12: there exists something such that it is a waldmeister. sent13: the fact that the vent is not a kind of a blouse but it is woolen is not right if something is not cytoplastic. sent14: there exists something such that it is not a hominy. sent15: the demimondaine is a kind of a crankshaft if there exists something such that it is a waldmeister that is not a kind of a hominy. sent16: something is not cytoplastic. ; $proof$ = 
sent16 & sent13 -> int1: that the vent is not a blouse but it is woolen is wrong.; sent11 -> int2: if the fact that the vent is not a blouse but woolen does not hold then the fact that it is a strangulation is not right.; int1 & int2 -> int3: the vent is not a strangulation.; int3 & sent10 -> int4: the vent is a deep-sea.; int4 & sent3 -> int5: the DSL is a waldmeister.; int5 & sent8 -> int6: the pirate is a kind of a waldmeister and is not a kind of a hominy.; int6 -> int7: something is a waldmeister and is not a hominy.; int7 & sent15 -> int8: the demimondaine is a crankshaft.; int8 & sent5 -> hypothesis; __DISPROVED__