there is something such that if it is not a sateen it does espouse and it does not overrun Doric.
sent1: the oropharynx espouses and does not overrun Doric if it is a sateen. sent2: something that does not dispose is a kind of foul thing that is unretentive. sent3: if something is a sateen then it espouses and does not overrun Doric. sent4: something that is not a kind of a Porphyrio is postdiluvian thing that does not overprint suggestibility. sent5: if the oropharynx does not incriminate then it is a sateen. sent6: something does espouse but it does not overrun Doric if it is not a sateen. sent7: something nurses apposition and does not sober if it is not a dissolve. sent8: there exists something such that if it is not daisylike it overprints Malthusian. sent9: there is something such that if it is not a sateen it espouses. sent10: if something is not a myocardium then it is lowland thing that is not dispensable. sent11: there exists something such that if it is not a sateen it does espouse and overruns Doric. sent12: if the oropharynx is not a sateen it espouses and does overrun Doric. sent13: there is something such that if it is not a sateen it does not overrun Doric. sent14: if the oropharynx is not critical then it is underhand and is not a basics. sent15: there exists something such that if it is a sateen then it does espouse and does not overrun Doric. sent16: there is something such that if the fact that it does not overrun Venezuela is not false then the fact that it is dialectal hold. sent17: the oropharynx is not non-thrifty if it does not espouse. sent18: if the oropharynx is not a kind of a sateen then it does espouse. sent19: if that the oropharynx does not marble is right it is a sateen and it is a self-depreciation. sent20: there is something such that if it does not clear-cut it is nonrepresentative and it does not nurse pyramid.
sent6 -> int1: if the oropharynx is not a sateen it does espouse and does not overrun Doric.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a sateen it does espouse and it does not overrun Doric. ; $context$ = sent1: the oropharynx espouses and does not overrun Doric if it is a sateen. sent2: something that does not dispose is a kind of foul thing that is unretentive. sent3: if something is a sateen then it espouses and does not overrun Doric. sent4: something that is not a kind of a Porphyrio is postdiluvian thing that does not overprint suggestibility. sent5: if the oropharynx does not incriminate then it is a sateen. sent6: something does espouse but it does not overrun Doric if it is not a sateen. sent7: something nurses apposition and does not sober if it is not a dissolve. sent8: there exists something such that if it is not daisylike it overprints Malthusian. sent9: there is something such that if it is not a sateen it espouses. sent10: if something is not a myocardium then it is lowland thing that is not dispensable. sent11: there exists something such that if it is not a sateen it does espouse and overruns Doric. sent12: if the oropharynx is not a sateen it espouses and does overrun Doric. sent13: there is something such that if it is not a sateen it does not overrun Doric. sent14: if the oropharynx is not critical then it is underhand and is not a basics. sent15: there exists something such that if it is a sateen then it does espouse and does not overrun Doric. sent16: there is something such that if the fact that it does not overrun Venezuela is not false then the fact that it is dialectal hold. sent17: the oropharynx is not non-thrifty if it does not espouse. sent18: if the oropharynx is not a kind of a sateen then it does espouse. sent19: if that the oropharynx does not marble is right it is a sateen and it is a self-depreciation. sent20: there is something such that if it does not clear-cut it is nonrepresentative and it does not nurse pyramid. ; $proof$ = 
sent6 -> int1: if the oropharynx is not a sateen it does espouse and does not overrun Doric.; int1 -> hypothesis; __PROVED__