the alienor is nonspherical.
sent1: there is something such that the fact that it does not form and it is an applicability is wrong. sent2: the Cathaya is not a kind of a cosmography if there is something such that the fact that it does not form and is an applicability is not correct. sent3: the Cathaya does excrete Stercorariidae and it is a kind of a British if it does not repress greaser. sent4: that something is mild but not a cosmography is not correct if it excretes Stercorariidae. sent5: if something that does repress greaser is not a Rana then the alienor is nonspherical. sent6: the crapaud does repress greaser but it is not a kind of a Rana if the greaser is not a British. sent7: that the alienor is not nonspherical is right if that the Cathaya is mild but it is not a kind of a cosmography is wrong. sent8: there exists something such that the fact that it is not a pendulum and it is not an inductor is incorrect. sent9: if there is something such that it is a cosmography and does not excrete Stercorariidae the carboy is not mild. sent10: there exists something such that it is mild and it is not a cosmography. sent11: if the carboy is not mild then that the greaser is not a British is right. sent12: that the ctenidium does not excrete Stercorariidae is not incorrect if the fact that the Cathaya is not a cosmography hold. sent13: something is not a kind of a form and is an applicability. sent14: if something does not excrete sepal and is a Rana it does not repress greaser. sent15: the ctenidium is a cosmography and does not excrete Stercorariidae if the Cathaya is not a kind of a cosmography. sent16: something is not a cosmography if it excretes Stercorariidae and is mild. sent17: the crapaud is a cosmography but it is not a Rana.
sent1 & sent2 -> int1: the Cathaya is not a cosmography.; int1 & sent15 -> int2: the ctenidium is a kind of a cosmography that does not excrete Stercorariidae.; int2 -> int3: there is something such that it is a kind of a cosmography and it does not excrete Stercorariidae.; int3 & sent9 -> int4: the carboy is not mild.; int4 & sent11 -> int5: the greaser is non-British.; int5 & sent6 -> int6: the crapaud represses greaser but it is not a Rana.; int6 -> int7: something does repress greaser and is not a kind of a Rana.; int7 & sent5 -> hypothesis;
the alienor is not nonspherical.
sent4 -> int8: if the Cathaya excretes Stercorariidae the fact that it is mild and it is not a cosmography is wrong.; sent14 -> int9: if the Cathaya does not excrete sepal but it is a Rana that it does not repress greaser is correct.;
$hypothesis$ = the alienor is nonspherical. ; $context$ = sent1: there is something such that the fact that it does not form and it is an applicability is wrong. sent2: the Cathaya is not a kind of a cosmography if there is something such that the fact that it does not form and is an applicability is not correct. sent3: the Cathaya does excrete Stercorariidae and it is a kind of a British if it does not repress greaser. sent4: that something is mild but not a cosmography is not correct if it excretes Stercorariidae. sent5: if something that does repress greaser is not a Rana then the alienor is nonspherical. sent6: the crapaud does repress greaser but it is not a kind of a Rana if the greaser is not a British. sent7: that the alienor is not nonspherical is right if that the Cathaya is mild but it is not a kind of a cosmography is wrong. sent8: there exists something such that the fact that it is not a pendulum and it is not an inductor is incorrect. sent9: if there is something such that it is a cosmography and does not excrete Stercorariidae the carboy is not mild. sent10: there exists something such that it is mild and it is not a cosmography. sent11: if the carboy is not mild then that the greaser is not a British is right. sent12: that the ctenidium does not excrete Stercorariidae is not incorrect if the fact that the Cathaya is not a cosmography hold. sent13: something is not a kind of a form and is an applicability. sent14: if something does not excrete sepal and is a Rana it does not repress greaser. sent15: the ctenidium is a cosmography and does not excrete Stercorariidae if the Cathaya is not a kind of a cosmography. sent16: something is not a cosmography if it excretes Stercorariidae and is mild. sent17: the crapaud is a cosmography but it is not a Rana. ; $proof$ = 
sent1 & sent2 -> int1: the Cathaya is not a cosmography.; int1 & sent15 -> int2: the ctenidium is a kind of a cosmography that does not excrete Stercorariidae.; int2 -> int3: there is something such that it is a kind of a cosmography and it does not excrete Stercorariidae.; int3 & sent9 -> int4: the carboy is not mild.; int4 & sent11 -> int5: the greaser is non-British.; int5 & sent6 -> int6: the crapaud represses greaser but it is not a Rana.; int6 -> int7: something does repress greaser and is not a kind of a Rana.; int7 & sent5 -> hypothesis; __PROVED__