that there is something such that if it does not finedraw vantage then it is not a alexic is not true.
sent1: there is something such that if it does not finedraw vantage the fact that it is a alexic is not incorrect. sent2: if something is not unscientific it does not chock nobility. sent3: that that the vantage is not alexic is not wrong if the vantage does not finedraw vantage is true. sent4: that the vantage is not a alexic is correct if it does finedraw vantage. sent5: if the fact that the vantage is not a kind of a Cattell is true then it does finedraw vantage.
sent3 -> hypothesis;
there is something such that if it is not unscientific then that it does not chock nobility is not wrong.
sent2 -> int1: if the snakewood is not unscientific it does not chock nobility.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does not finedraw vantage then it is not a alexic is not true. ; $context$ = sent1: there is something such that if it does not finedraw vantage the fact that it is a alexic is not incorrect. sent2: if something is not unscientific it does not chock nobility. sent3: that that the vantage is not alexic is not wrong if the vantage does not finedraw vantage is true. sent4: that the vantage is not a alexic is correct if it does finedraw vantage. sent5: if the fact that the vantage is not a kind of a Cattell is true then it does finedraw vantage. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__