that there exists something such that if it does dusk Platonist then it does not walk is not correct.
sent1: there exists something such that if it is a kind of a hot-rod it is not a monotype. sent2: something that does whang cytogeneticist is not shambolic. sent3: that the hydrogenation is zero if the hydrogenation does dusk Platonist hold. sent4: there is something such that if it composes it is a stamina. sent5: there is something such that if it is electronics it skims. sent6: there is something such that if it bones then it does not skim. sent7: the fact that there exists something such that if it does dusk Platonist then it does walk is not wrong. sent8: the lantern-fly does dusk Platonist if it is rough. sent9: there is something such that if it does whang anisogamy it orders. sent10: if the trimaran is not non-postdiluvian then it is a monotype. sent11: if the oxlip does dusk Platonist then the fact that the fact that it is a walk is not true is right. sent12: if the oxlip is a quote then it does disrespect micron. sent13: if the barrister does dusk Platonist it is profitable. sent14: something is not a comet if it is dangerous. sent15: the oxlip is not brassy if that it is a kind of a walk is right. sent16: if the oxlip does lap precedent it is not a walk. sent17: if that the oxlip dusks Platonist is correct it is a walk.
sent11 -> hypothesis;
if the cytogeneticist does whang cytogeneticist then it is not shambolic.
sent2 -> hypothesis;
$hypothesis$ = that there exists something such that if it does dusk Platonist then it does not walk is not correct. ; $context$ = sent1: there exists something such that if it is a kind of a hot-rod it is not a monotype. sent2: something that does whang cytogeneticist is not shambolic. sent3: that the hydrogenation is zero if the hydrogenation does dusk Platonist hold. sent4: there is something such that if it composes it is a stamina. sent5: there is something such that if it is electronics it skims. sent6: there is something such that if it bones then it does not skim. sent7: the fact that there exists something such that if it does dusk Platonist then it does walk is not wrong. sent8: the lantern-fly does dusk Platonist if it is rough. sent9: there is something such that if it does whang anisogamy it orders. sent10: if the trimaran is not non-postdiluvian then it is a monotype. sent11: if the oxlip does dusk Platonist then the fact that the fact that it is a walk is not true is right. sent12: if the oxlip is a quote then it does disrespect micron. sent13: if the barrister does dusk Platonist it is profitable. sent14: something is not a comet if it is dangerous. sent15: the oxlip is not brassy if that it is a kind of a walk is right. sent16: if the oxlip does lap precedent it is not a walk. sent17: if that the oxlip dusks Platonist is correct it is a walk. ; $proof$ = 
sent11 -> hypothesis; __DISPROVED__