the fact that the bondwoman is not a kind of a toed if the hilus is not a sleekness and not a eardrop is not correct.
sent1: that something is not a sleekness and not a eardrop is wrong if it is a bust-up. sent2: if something is a eardrop then the fact that it is both a bust-up and not a toed is not right. sent3: something does not twine Membracidae and is not a kind of a Saale if it is a Paleozoic. sent4: the bondwoman is a kind of a Scolytus. sent5: the eye is not a toed. sent6: if something is a Scolytus the fact that it does not twine coucal and is not Edwardian does not hold. sent7: the hilus is a bust-up if something is a Scolytus and does toe. sent8: there is something such that it toes. sent9: that something twines sleuth and/or it is a sleekness is wrong if it does not melt. sent10: the fact that the bondwoman does not toe is right if the hilus is a kind of a sleekness but it is not a eardrop. sent11: the hilus is both not a toed and not a sleekness if it is a kind of a Scolytus. sent12: the abominator is a kind of a eardrop if the bondwoman is not a sleekness. sent13: if the fact that the hilus twines sleuth or is a sleekness or both is wrong the bondwoman is not a sleekness. sent14: if the bondwoman is a kind of a Scolytus then that it is not a kind of a sleekness and it does toe is not correct. sent15: the fact that the hilus is not a sleekness hold. sent16: that the hilus is not a kind of a eardrop and is a Scolytus is not right if the fact that it is a bust-up is correct.
void -> assump1: Let's assume that the bondwoman does toe.; sent4 & assump1 -> int1: the bondwoman is a Scolytus and it is a toed.; int1 -> int2: something is a Scolytus and it does toe.; int2 & sent7 -> int3: the hilus is a kind of a bust-up.; sent1 -> int4: the fact that the hilus is both not a sleekness and not a eardrop is not true if it is a bust-up.; int3 & int4 -> int5: the fact that the hilus is not a sleekness and not a eardrop is not right.; void -> assump2: Let's assume that the hilus is not a sleekness and it is not a eardrop.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bondwoman is not a toed.; [assump2] & int7 -> hypothesis;
the fact that the abominator does not twine coucal and it is not a Edwardian does not hold.
sent6 -> int8: the fact that the abominator does not twine coucal and is not a Edwardian is incorrect if it is a Scolytus.; sent2 -> int9: that the abominator is a bust-up but it is not a kind of a toed is incorrect if it is a eardrop.; sent9 -> int10: if the hilus does not melt then that it does twine sleuth or it is a sleekness or both is not true.;
$hypothesis$ = the fact that the bondwoman is not a kind of a toed if the hilus is not a sleekness and not a eardrop is not correct. ; $context$ = sent1: that something is not a sleekness and not a eardrop is wrong if it is a bust-up. sent2: if something is a eardrop then the fact that it is both a bust-up and not a toed is not right. sent3: something does not twine Membracidae and is not a kind of a Saale if it is a Paleozoic. sent4: the bondwoman is a kind of a Scolytus. sent5: the eye is not a toed. sent6: if something is a Scolytus the fact that it does not twine coucal and is not Edwardian does not hold. sent7: the hilus is a bust-up if something is a Scolytus and does toe. sent8: there is something such that it toes. sent9: that something twines sleuth and/or it is a sleekness is wrong if it does not melt. sent10: the fact that the bondwoman does not toe is right if the hilus is a kind of a sleekness but it is not a eardrop. sent11: the hilus is both not a toed and not a sleekness if it is a kind of a Scolytus. sent12: the abominator is a kind of a eardrop if the bondwoman is not a sleekness. sent13: if the fact that the hilus twines sleuth or is a sleekness or both is wrong the bondwoman is not a sleekness. sent14: if the bondwoman is a kind of a Scolytus then that it is not a kind of a sleekness and it does toe is not correct. sent15: the fact that the hilus is not a sleekness hold. sent16: that the hilus is not a kind of a eardrop and is a Scolytus is not right if the fact that it is a bust-up is correct. ; $proof$ = 
void -> assump1: Let's assume that the bondwoman does toe.; sent4 & assump1 -> int1: the bondwoman is a Scolytus and it is a toed.; int1 -> int2: something is a Scolytus and it does toe.; int2 & sent7 -> int3: the hilus is a kind of a bust-up.; sent1 -> int4: the fact that the hilus is both not a sleekness and not a eardrop is not true if it is a bust-up.; int3 & int4 -> int5: the fact that the hilus is not a sleekness and not a eardrop is not right.; void -> assump2: Let's assume that the hilus is not a sleekness and it is not a eardrop.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the bondwoman is not a toed.; [assump2] & int7 -> hypothesis; __DISPROVED__