there is something such that it is a street and a stemmer.
sent1: there exists something such that it is a kind of a acromion and it does forecast mawkishness. sent2: the newt is nonsuppurative if it is not a street. sent3: if there is something such that it is not a acromion then the newt does not forecast mawkishness. sent4: the newt is a stemmer and it is cytogenetics if it does not forecast mawkishness. sent5: there is something such that it is a street. sent6: something is nonsuppurative if it is not a kind of a street. sent7: the Baptist buffs. sent8: there is something such that that the fact that it is a acromion and forecasts mawkishness is not false is wrong. sent9: the newt does not forecast mawkishness if there is something such that the fact that it is a acromion that forecast mawkishness is not right. sent10: the newt is nonsuppurative. sent11: something is not a buff but it is nonsuppurative if it is not a street. sent12: if something that is not a stemmer is cytogenetics it is not a kind of a street.
sent11 -> int1: the fact that the newt is not the buff but nonsuppurative if the newt is not a street is right.; void -> assump1: Let's assume that the newt is not a kind of a street.; int1 & assump1 -> int2: the newt is not a buff but it is nonsuppurative.; int2 -> int3: the newt does not buff.; sent8 & sent9 -> int4: the newt does not forecast mawkishness.; sent4 & int4 -> int5: the newt is a stemmer and cytogenetics.; int5 -> int6: the newt is a stemmer.;
there exists something such that it is both arterial and corrupting.
sent12 -> int7: the alpha-tocopheral is not a kind of a street if it is not a stemmer and is cytogenetics.;
$hypothesis$ = there is something such that it is a street and a stemmer. ; $context$ = sent1: there exists something such that it is a kind of a acromion and it does forecast mawkishness. sent2: the newt is nonsuppurative if it is not a street. sent3: if there is something such that it is not a acromion then the newt does not forecast mawkishness. sent4: the newt is a stemmer and it is cytogenetics if it does not forecast mawkishness. sent5: there is something such that it is a street. sent6: something is nonsuppurative if it is not a kind of a street. sent7: the Baptist buffs. sent8: there is something such that that the fact that it is a acromion and forecasts mawkishness is not false is wrong. sent9: the newt does not forecast mawkishness if there is something such that the fact that it is a acromion that forecast mawkishness is not right. sent10: the newt is nonsuppurative. sent11: something is not a buff but it is nonsuppurative if it is not a street. sent12: if something that is not a stemmer is cytogenetics it is not a kind of a street. ; $proof$ = 
sent11 -> int1: the fact that the newt is not the buff but nonsuppurative if the newt is not a street is right.; void -> assump1: Let's assume that the newt is not a kind of a street.; int1 & assump1 -> int2: the newt is not a buff but it is nonsuppurative.; int2 -> int3: the newt does not buff.; sent8 & sent9 -> int4: the newt does not forecast mawkishness.; sent4 & int4 -> int5: the newt is a stemmer and cytogenetics.; int5 -> int6: the newt is a stemmer.; __UNKNOWN__