that if the meringue is not kind then that the burthen is not a Ellington does not hold is incorrect.
sent1: the meringue is not a Ellington but it is a kind if the burthen is nebular. sent2: if the thane is not nebular the burthen is not a Ellington but it is a kind of a kind. sent3: if the burthen is a doughnut the thane is a kind of a Ellington. sent4: there exists something such that it is not a kind of a kind. sent5: something is not a Ellington. sent6: if the meringue is not a kind then the thane is not nebular but it is a kind of a doughnut. sent7: if something that is not nebular is a Ellington then the burthen is a kind. sent8: if there is something such that it is not nebular and is a doughnut then the burthen is a Ellington. sent9: there exists something such that it is a sadness. sent10: if that something is not a doughnut but a kind is right then the meringue is nebular. sent11: the thane is non-nebular a Ellington if that the burthen is not a doughnut is not incorrect. sent12: the thane is a kind of a doughnut if something is not a kind of a kind but it is a Ellington. sent13: there is something such that it is both a Ellington and a doughnut. sent14: there is something such that it does not careen. sent15: something is not nebular but it is a kind. sent16: if the meringue is not nebular the burthen is unkind a Ellington. sent17: the burthen is not a doughnut.
void -> assump1: Let's assume that the meringue is not a kind of a kind.; sent6 & assump1 -> int1: the thane is not nebular and is a doughnut.; int1 -> int2: something is not nebular but it is a doughnut.; int2 & sent8 -> int3: the burthen is a Ellington.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the meringue is not kind then that the burthen is not a Ellington does not hold is incorrect. ; $context$ = sent1: the meringue is not a Ellington but it is a kind if the burthen is nebular. sent2: if the thane is not nebular the burthen is not a Ellington but it is a kind of a kind. sent3: if the burthen is a doughnut the thane is a kind of a Ellington. sent4: there exists something such that it is not a kind of a kind. sent5: something is not a Ellington. sent6: if the meringue is not a kind then the thane is not nebular but it is a kind of a doughnut. sent7: if something that is not nebular is a Ellington then the burthen is a kind. sent8: if there is something such that it is not nebular and is a doughnut then the burthen is a Ellington. sent9: there exists something such that it is a sadness. sent10: if that something is not a doughnut but a kind is right then the meringue is nebular. sent11: the thane is non-nebular a Ellington if that the burthen is not a doughnut is not incorrect. sent12: the thane is a kind of a doughnut if something is not a kind of a kind but it is a Ellington. sent13: there is something such that it is both a Ellington and a doughnut. sent14: there is something such that it does not careen. sent15: something is not nebular but it is a kind. sent16: if the meringue is not nebular the burthen is unkind a Ellington. sent17: the burthen is not a doughnut. ; $proof$ = 
void -> assump1: Let's assume that the meringue is not a kind of a kind.; sent6 & assump1 -> int1: the thane is not nebular and is a doughnut.; int1 -> int2: something is not nebular but it is a doughnut.; int2 & sent8 -> int3: the burthen is a Ellington.; [assump1] & int3 -> hypothesis; __DISPROVED__