there exists something such that if it is mediatory then the fact that it is both a cordage and not an overflight is not correct.
sent1: if the sole is mediatory the fact that it is a cordage and it is not a kind of an overflight is not true. sent2: there exists something such that if it effaces mitomycin it is a hooknose and it does not menstruate chasuble. sent3: if something is a kind of a cyprinid then the fact that it does efface sporophyll and is not a need is not right. sent4: there exists something such that if it is mediatory then that it is a cordage and it is a kind of an overflight is wrong. sent5: if the sole is mediatory the fact that it is a kind of a cordage and it is an overflight is not right. sent6: there is something such that if that it is mediatory hold it is both a cordage and not an overflight. sent7: if the sole is mediatory then it is a kind of a cordage and is not an overflight. sent8: that something is repetitive but it is not a Prussian does not hold if it is an adornment. sent9: there exists something such that if it effaces visitation it is a kind of a breadwinner that is not a kind of an outline.
sent1 -> hypothesis;
there exists something such that if it is cyprinid that it does efface sporophyll and it is not a need is wrong.
sent3 -> int1: if the mitomycin is a cyprinid the fact that it effaces sporophyll and is not a kind of a need is wrong.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is mediatory then the fact that it is both a cordage and not an overflight is not correct. ; $context$ = sent1: if the sole is mediatory the fact that it is a cordage and it is not a kind of an overflight is not true. sent2: there exists something such that if it effaces mitomycin it is a hooknose and it does not menstruate chasuble. sent3: if something is a kind of a cyprinid then the fact that it does efface sporophyll and is not a need is not right. sent4: there exists something such that if it is mediatory then that it is a cordage and it is a kind of an overflight is wrong. sent5: if the sole is mediatory the fact that it is a kind of a cordage and it is an overflight is not right. sent6: there is something such that if that it is mediatory hold it is both a cordage and not an overflight. sent7: if the sole is mediatory then it is a kind of a cordage and is not an overflight. sent8: that something is repetitive but it is not a Prussian does not hold if it is an adornment. sent9: there exists something such that if it effaces visitation it is a kind of a breadwinner that is not a kind of an outline. ; $proof$ = 
sent1 -> hypothesis; __PROVED__