that there exists something such that it does not stump and it is menstrual is wrong.
sent1: the dobbin quarters and/or does drill collagenase. sent2: the complement is a quarter if the fact that the dobbin drills collagenase is correct. sent3: the complement does not quarter if the slipcover stumps. sent4: the dobbin does tailgate Helxine. sent5: the complement is not a kind of a quarter if the fact that the slipcover is not a kind of a stumping but it is menstrual is not true. sent6: the dobbin is a quarter if the slipcover does quarter. sent7: the complement is a quarter if the dobbin is a quarter. sent8: if the complement is menstrual then that the slipcover is not a quarter is not incorrect. sent9: something is not a quarter and is menstrual. sent10: the complement stumps. sent11: the slipcover does not quarter. sent12: there exists something such that it is not electrophoretic.
void -> assump1: Let's assume that the fact that the slipcover is not a stumping but menstrual does not hold.; sent5 & assump1 -> int1: the complement does not quarter.; sent1 & sent7 & sent2 -> int2: the complement quarters.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the slipcover is not a stumping but it is menstrual.; int4 -> hypothesis;
$hypothesis$ = that there exists something such that it does not stump and it is menstrual is wrong. ; $context$ = sent1: the dobbin quarters and/or does drill collagenase. sent2: the complement is a quarter if the fact that the dobbin drills collagenase is correct. sent3: the complement does not quarter if the slipcover stumps. sent4: the dobbin does tailgate Helxine. sent5: the complement is not a kind of a quarter if the fact that the slipcover is not a kind of a stumping but it is menstrual is not true. sent6: the dobbin is a quarter if the slipcover does quarter. sent7: the complement is a quarter if the dobbin is a quarter. sent8: if the complement is menstrual then that the slipcover is not a quarter is not incorrect. sent9: something is not a quarter and is menstrual. sent10: the complement stumps. sent11: the slipcover does not quarter. sent12: there exists something such that it is not electrophoretic. ; $proof$ = 
void -> assump1: Let's assume that the fact that the slipcover is not a stumping but menstrual does not hold.; sent5 & assump1 -> int1: the complement does not quarter.; sent1 & sent7 & sent2 -> int2: the complement quarters.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the slipcover is not a stumping but it is menstrual.; int4 -> hypothesis; __DISPROVED__