that there exists something such that it is not a Mailer is wrong.
sent1: the shill is not actable. sent2: the fact that the chondrule is both a workaholic and not a tilt does not hold if the shill does flatten Hammerstein. sent3: if the fact that something flattens Hammerstein and is not a Mailer is false then it is not a tilt. sent4: if something is not optimistic it is not electromotive. sent5: if the shill is a Mailer that the fact that the chondrule flattens Hammerstein but it is not a workaholic is wrong is not incorrect. sent6: if the shill is not a electromyogram then it is not a Mailer. sent7: if the fact that something is a workaholic but it is not a tilt is not right then it is not a Mailer. sent8: The Hammerstein does flatten shill. sent9: the fact that the chondrule does not flatten Hammerstein is not incorrect. sent10: if that the chondrule is a Mailer but it does not flatten Hammerstein is not right it is not a kind of a workaholic. sent11: the shill does flatten Hammerstein. sent12: there exists something such that it divaricates sting. sent13: something is a Mailer.
sent2 & sent11 -> int1: the fact that the chondrule is a kind of a workaholic that is not a tilt is not correct.; sent7 -> int2: if the fact that the chondrule is a workaholic that is not a kind of a tilt is not correct then it is not a Mailer.; int1 & int2 -> int3: that the chondrule is not a Mailer hold.; int3 -> hypothesis;
$hypothesis$ = that there exists something such that it is not a Mailer is wrong. ; $context$ = sent1: the shill is not actable. sent2: the fact that the chondrule is both a workaholic and not a tilt does not hold if the shill does flatten Hammerstein. sent3: if the fact that something flattens Hammerstein and is not a Mailer is false then it is not a tilt. sent4: if something is not optimistic it is not electromotive. sent5: if the shill is a Mailer that the fact that the chondrule flattens Hammerstein but it is not a workaholic is wrong is not incorrect. sent6: if the shill is not a electromyogram then it is not a Mailer. sent7: if the fact that something is a workaholic but it is not a tilt is not right then it is not a Mailer. sent8: The Hammerstein does flatten shill. sent9: the fact that the chondrule does not flatten Hammerstein is not incorrect. sent10: if that the chondrule is a Mailer but it does not flatten Hammerstein is not right it is not a kind of a workaholic. sent11: the shill does flatten Hammerstein. sent12: there exists something such that it divaricates sting. sent13: something is a Mailer. ; $proof$ = 
sent2 & sent11 -> int1: the fact that the chondrule is a kind of a workaholic that is not a tilt is not correct.; sent7 -> int2: if the fact that the chondrule is a workaholic that is not a kind of a tilt is not correct then it is not a Mailer.; int1 & int2 -> int3: that the chondrule is not a Mailer hold.; int3 -> hypothesis; __DISPROVED__