the drunkard does not swell.
sent1: everything is not subclinical. sent2: the forward does swell. sent3: the fact that something is non-colonial thing that numbers secant does not hold if it does slink appearance. sent4: something is not a Albulidae if it is not a thyroid or is a colonial or both. sent5: the insider is a kind of a Albulidae that is a kind of a thyroid. sent6: something is not a kind of a swell if it is either not a Albulidae or a colonial or both. sent7: either the drunkard is not a kind of a colonial or it is a thyroid or both if the fact that the insider is colonial is not wrong. sent8: the insider is a kind of a thyroid. sent9: something is not a kind of a swell if it is colonial. sent10: the insider does not number secant if the drunkard does not number secant. sent11: if the insider is a thyroid the drunkard is not thyroid or it is a Albulidae or both. sent12: either the drunkard is not a kind of a Albulidae or it is thyroid or both. sent13: if there is something such that the fact that it does number secant and it slinks appearance is not correct the drunkard does not number secant. sent14: the drunkard does slink appearance if the insider is subclinical. sent15: if something does not marble Tuscany then it does not slink Mokulu. sent16: the magnetism is a kind of a colonial if the insider does not number secant. sent17: that something does number secant and it slinks appearance is wrong if it is not subclinical. sent18: the drunkard is not a swell if it is a colonial.
sent5 -> int1: the insider is a Albulidae.; sent6 -> int2: the drunkard is not a swell if it is not a Albulidae and/or it is a kind of a colonial.;
the drunkard does swell.
sent3 -> int3: that the drunkard is a kind of non-colonial thing that does number secant is incorrect if it slinks appearance.;
$hypothesis$ = the drunkard does not swell. ; $context$ = sent1: everything is not subclinical. sent2: the forward does swell. sent3: the fact that something is non-colonial thing that numbers secant does not hold if it does slink appearance. sent4: something is not a Albulidae if it is not a thyroid or is a colonial or both. sent5: the insider is a kind of a Albulidae that is a kind of a thyroid. sent6: something is not a kind of a swell if it is either not a Albulidae or a colonial or both. sent7: either the drunkard is not a kind of a colonial or it is a thyroid or both if the fact that the insider is colonial is not wrong. sent8: the insider is a kind of a thyroid. sent9: something is not a kind of a swell if it is colonial. sent10: the insider does not number secant if the drunkard does not number secant. sent11: if the insider is a thyroid the drunkard is not thyroid or it is a Albulidae or both. sent12: either the drunkard is not a kind of a Albulidae or it is thyroid or both. sent13: if there is something such that the fact that it does number secant and it slinks appearance is not correct the drunkard does not number secant. sent14: the drunkard does slink appearance if the insider is subclinical. sent15: if something does not marble Tuscany then it does not slink Mokulu. sent16: the magnetism is a kind of a colonial if the insider does not number secant. sent17: that something does number secant and it slinks appearance is wrong if it is not subclinical. sent18: the drunkard is not a swell if it is a colonial. ; $proof$ = 
sent5 -> int1: the insider is a Albulidae.; sent6 -> int2: the drunkard is not a swell if it is not a Albulidae and/or it is a kind of a colonial.; __UNKNOWN__