that there is something such that if it is substantival then it is menopausal and is not diametric does not hold.
sent1: the dieter is not diametric if it is substantival. sent2: there exists something such that if it is substantival it is not diametric. sent3: the tutsan is menopausal and it repines Myliobatidae if it is sustentacular. sent4: the fact that there is something such that if it singularizes Jude it is zenithal hold. sent5: there is something such that if it is substantival then it is menopausal. sent6: if the dieter is upmarket it is a kind of a seating that does not answer trueness. sent7: something is menopausal but it is not diametric if it is substantival. sent8: there is something such that if it is substantival it is both menopausal and diametric.
sent7 -> int1: the dieter is menopausal but it is not diametric if that it is substantival is correct.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is substantival then it is menopausal and is not diametric does not hold. ; $context$ = sent1: the dieter is not diametric if it is substantival. sent2: there exists something such that if it is substantival it is not diametric. sent3: the tutsan is menopausal and it repines Myliobatidae if it is sustentacular. sent4: the fact that there is something such that if it singularizes Jude it is zenithal hold. sent5: there is something such that if it is substantival then it is menopausal. sent6: if the dieter is upmarket it is a kind of a seating that does not answer trueness. sent7: something is menopausal but it is not diametric if it is substantival. sent8: there is something such that if it is substantival it is both menopausal and diametric. ; $proof$ = 
sent7 -> int1: the dieter is menopausal but it is not diametric if that it is substantival is correct.; int1 -> hypothesis; __DISPROVED__