the backseat is not a lexicology and it does not gear sigh.
sent1: if something that is not aboral is not a cyanamide the Mithraist gears sigh. sent2: if something that does not gear voicing does not disembark the backseat is a pothunter. sent3: that the Mithraist does not hobble and is a cyanamide does not hold. sent4: if the fact that there is something such that that it does not hobble and it is a kind of a cyanamide does not hold is not false the backseat does not gear sigh. sent5: if the tanner does gear psychotherapist then the phlogiston is not deep-sea. sent6: the fact that something is a kind of non-aboral thing that does gear psychotherapist is false if it is a deep-sea. sent7: the tenderloin does not camber misused and it is not a kind of a bundle if the phlogiston is not a deep-sea. sent8: the psychotherapist does not disembark. sent9: the transportation is aboral. sent10: the backseat is not a lexicology if it does camber misused and it is a pothunter. sent11: the fact that something does not camber cystine and is deep-sea is not right if it is not aboral. sent12: if the tenderloin does not camber misused then that the backseat cambers Macaca and it does camber misused is not false. sent13: the psychotherapist does not gear voicing and does not disembark if the plum-yew is not a code. sent14: there exists something such that it does not gear voicing. sent15: that something is not a lexicology and does not gear sigh is not right if it is not aboral. sent16: if there exists something such that that it is not a cyanamide hold the backseat does not gear sigh. sent17: if something does camber misused then it is a kind of a bundle. sent18: the plum-yew is not a kind of a code. sent19: something is a kind of a deep-sea if it is a bundle.
sent13 & sent18 -> int1: the psychotherapist does not gear voicing and it does not disembark.; int1 -> int2: something does not gear voicing and does not disembark.; int2 & sent2 -> int3: the backseat is a kind of a pothunter.; sent3 -> int4: there is something such that that it does not hobble and is a cyanamide is incorrect.; int4 & sent4 -> int5: the backseat does not gear sigh.;
that the microbrewery does not camber cystine but it is a deep-sea does not hold.
sent11 -> int6: if the microbrewery is not aboral then the fact that it does not camber cystine and it is a deep-sea does not hold.;
$hypothesis$ = the backseat is not a lexicology and it does not gear sigh. ; $context$ = sent1: if something that is not aboral is not a cyanamide the Mithraist gears sigh. sent2: if something that does not gear voicing does not disembark the backseat is a pothunter. sent3: that the Mithraist does not hobble and is a cyanamide does not hold. sent4: if the fact that there is something such that that it does not hobble and it is a kind of a cyanamide does not hold is not false the backseat does not gear sigh. sent5: if the tanner does gear psychotherapist then the phlogiston is not deep-sea. sent6: the fact that something is a kind of non-aboral thing that does gear psychotherapist is false if it is a deep-sea. sent7: the tenderloin does not camber misused and it is not a kind of a bundle if the phlogiston is not a deep-sea. sent8: the psychotherapist does not disembark. sent9: the transportation is aboral. sent10: the backseat is not a lexicology if it does camber misused and it is a pothunter. sent11: the fact that something does not camber cystine and is deep-sea is not right if it is not aboral. sent12: if the tenderloin does not camber misused then that the backseat cambers Macaca and it does camber misused is not false. sent13: the psychotherapist does not gear voicing and does not disembark if the plum-yew is not a code. sent14: there exists something such that it does not gear voicing. sent15: that something is not a lexicology and does not gear sigh is not right if it is not aboral. sent16: if there exists something such that that it is not a cyanamide hold the backseat does not gear sigh. sent17: if something does camber misused then it is a kind of a bundle. sent18: the plum-yew is not a kind of a code. sent19: something is a kind of a deep-sea if it is a bundle. ; $proof$ = 
sent13 & sent18 -> int1: the psychotherapist does not gear voicing and it does not disembark.; int1 -> int2: something does not gear voicing and does not disembark.; int2 & sent2 -> int3: the backseat is a kind of a pothunter.; sent3 -> int4: there is something such that that it does not hobble and is a cyanamide is incorrect.; int4 & sent4 -> int5: the backseat does not gear sigh.; __UNKNOWN__