the gulp is cosmic.
sent1: if the canella is not a sadist but it is serviceable then it is not a smooth. sent2: the corset is cosmic. sent3: that that something does axe capitate and it is a preference is not true if it does not smooth is true. sent4: the gabbro does axe Gesner and it is unthinkable. sent5: the gabbro is a kind of non-Genoese thing that is not an exercise. sent6: the corset smooths if it does not axe capitate and it is not a kind of a preference. sent7: the fact that the hoister is merciless and is not phrenic is not correct. sent8: the canella is not a sadist. sent9: the bornite is not a flex and is not cosmic. sent10: if the canella is a bluenose it is both not a sadist and serviceable. sent11: the canella is a sadist if the corset does smooth. sent12: that the gulp is cosmic is right if the corset axes capitate. sent13: the gabbro does not instruct contradiction and it is not a Dionysia. sent14: the canella is not aperiodic. sent15: the coronilla is non-cosmic. sent16: if there is something such that the fact that it axes capitate and is a kind of a preference is wrong the corset does axe Gesner. sent17: the corset is a preference if it is non-smooth thing that is not a kind of a sadist. sent18: the canella is not unthinkable. sent19: the gabbro is unthinkable. sent20: the sectarian is a kind of a preference. sent21: if the gabbro is cosmic and it is unthinkable that the gulp is not cosmic hold.
sent4 -> int1: the gabbro does axe Gesner.;
the gulp is not cosmic.
sent3 -> int2: if the canella is not a kind of a smooth that that it does axe capitate and it is a kind of a preference is correct is not right.; sent7 -> int3: there is something such that the fact that it is both merciless and not phrenic is not correct.;
$hypothesis$ = the gulp is cosmic. ; $context$ = sent1: if the canella is not a sadist but it is serviceable then it is not a smooth. sent2: the corset is cosmic. sent3: that that something does axe capitate and it is a preference is not true if it does not smooth is true. sent4: the gabbro does axe Gesner and it is unthinkable. sent5: the gabbro is a kind of non-Genoese thing that is not an exercise. sent6: the corset smooths if it does not axe capitate and it is not a kind of a preference. sent7: the fact that the hoister is merciless and is not phrenic is not correct. sent8: the canella is not a sadist. sent9: the bornite is not a flex and is not cosmic. sent10: if the canella is a bluenose it is both not a sadist and serviceable. sent11: the canella is a sadist if the corset does smooth. sent12: that the gulp is cosmic is right if the corset axes capitate. sent13: the gabbro does not instruct contradiction and it is not a Dionysia. sent14: the canella is not aperiodic. sent15: the coronilla is non-cosmic. sent16: if there is something such that the fact that it axes capitate and is a kind of a preference is wrong the corset does axe Gesner. sent17: the corset is a preference if it is non-smooth thing that is not a kind of a sadist. sent18: the canella is not unthinkable. sent19: the gabbro is unthinkable. sent20: the sectarian is a kind of a preference. sent21: if the gabbro is cosmic and it is unthinkable that the gulp is not cosmic hold. ; $proof$ = 
sent4 -> int1: the gabbro does axe Gesner.; __UNKNOWN__