there exists something such that it is a calamint and it is a treatise.
sent1: if the leach does not neck and is not promotional then the syrinx is promotional. sent2: The syrinx spills broiler. sent3: the leach is not a necked and it is not promotional if the underboss is not a jimmy. sent4: the fact that the mousepad is a kind of a dope and it is a kind of a treatise is right. sent5: something is not a jimmy if the fact that it is both a jimmy and abranchiate is incorrect. sent6: there is something such that it is a kind of a treatise. sent7: the broiler is a kind of a amygdalotomy. sent8: if the HAART is a amygdalotomy that spills syrinx the broiler is not a amygdalotomy. sent9: the HAART is a amygdalotomy that spills syrinx if the humanity is not a treatise. sent10: the broiler spills syrinx. sent11: that the underboss is a jimmy and it is abranchiate is not right if it is not astrocytic. sent12: if the broiler does spill syrinx then it is a kind of a treatise. sent13: something is a calamint.
sent12 & sent10 -> int1: the broiler is a treatise.;
the hummer is a calamint.
sent5 -> int2: if that the underboss is a jimmy and it is abranchiate is not true then it is not a kind of a jimmy.;
$hypothesis$ = there exists something such that it is a calamint and it is a treatise. ; $context$ = sent1: if the leach does not neck and is not promotional then the syrinx is promotional. sent2: The syrinx spills broiler. sent3: the leach is not a necked and it is not promotional if the underboss is not a jimmy. sent4: the fact that the mousepad is a kind of a dope and it is a kind of a treatise is right. sent5: something is not a jimmy if the fact that it is both a jimmy and abranchiate is incorrect. sent6: there is something such that it is a kind of a treatise. sent7: the broiler is a kind of a amygdalotomy. sent8: if the HAART is a amygdalotomy that spills syrinx the broiler is not a amygdalotomy. sent9: the HAART is a amygdalotomy that spills syrinx if the humanity is not a treatise. sent10: the broiler spills syrinx. sent11: that the underboss is a jimmy and it is abranchiate is not right if it is not astrocytic. sent12: if the broiler does spill syrinx then it is a kind of a treatise. sent13: something is a calamint. ; $proof$ = 
sent12 & sent10 -> int1: the broiler is a treatise.; __UNKNOWN__