the fact that there exists something such that if it is a quark it is not a coke hold.
sent1: the fact that there is something such that if it does contemplate then the fact that it does not crump is not incorrect hold. sent2: there exists something such that if that it is a kind of a beneficiation is true it does not decimate. sent3: the containership cokes if it is a quark. sent4: if the containership is a quark it is not a coke. sent5: there is something such that if it is a kind of a quark it does coke. sent6: the containership does not fail if it is a kind of a quark. sent7: there exists something such that if it does detonate then it does not outweigh. sent8: there exists something such that if it is maxillomandibular then it is not a kind of a lay-up. sent9: the tailfin is not a kind of a Unitarian if that it is a lysosome is not wrong. sent10: the containership is not a quark if it is a osmiridium. sent11: the containership does not remodel Light if it decimates. sent12: if something is a hydrofoil it is not organizational. sent13: there is something such that if it does diphthongize it is not pneumococcal. sent14: the containership is not a quark if it is longing.
sent4 -> hypothesis;
there is something such that if it is a hydrofoil then it is not organizational.
sent12 -> int1: that the lineman is not organizational if the lineman is a hydrofoil hold.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a quark it is not a coke hold. ; $context$ = sent1: the fact that there is something such that if it does contemplate then the fact that it does not crump is not incorrect hold. sent2: there exists something such that if that it is a kind of a beneficiation is true it does not decimate. sent3: the containership cokes if it is a quark. sent4: if the containership is a quark it is not a coke. sent5: there is something such that if it is a kind of a quark it does coke. sent6: the containership does not fail if it is a kind of a quark. sent7: there exists something such that if it does detonate then it does not outweigh. sent8: there exists something such that if it is maxillomandibular then it is not a kind of a lay-up. sent9: the tailfin is not a kind of a Unitarian if that it is a lysosome is not wrong. sent10: the containership is not a quark if it is a osmiridium. sent11: the containership does not remodel Light if it decimates. sent12: if something is a hydrofoil it is not organizational. sent13: there is something such that if it does diphthongize it is not pneumococcal. sent14: the containership is not a quark if it is longing. ; $proof$ = 
sent4 -> hypothesis; __PROVED__