the Glycine is a kind of a lectureship.
sent1: the bottleneck is not bimodal if it announces inion. sent2: the hawthorn does approximate if it is aoristic. sent3: the hawthorn is aoristic. sent4: if a multiple thing is not a foal then it does not tribulate Mondrian. sent5: there is nothing such that it does approximate and it is not a lectureship. sent6: the propanolol is not brachial but a Lubavitcher if there exists something such that it does not tribulate Mondrian. sent7: the bottleneck is not an aspirate. sent8: if the fact that something is not brachial but a Lubavitcher is not false then it does not jab. sent9: the bottleneck announces inion and clamors Kigali if it is not an aspirate. sent10: the Glycine is a kind of a jab but it is not brachial if the bottleneck does not jab. sent11: if the hawthorn is not aoristic that the Glycine is not a kind of a lectureship is true. sent12: if something is not bimodal it is a multiple and it is not a foal. sent13: the Glycine is a lectureship if it is a jab and it is brachial. sent14: if something is a jab that is not brachial it is a kind of a lectureship. sent15: the propanolol is a kind of a slaver if the hawthorn does approximate. sent16: if something is not a jab then the fact that it is not a slaver and approximates is incorrect.
sent2 & sent3 -> int1: the hawthorn approximates.; int1 & sent15 -> int2: the propanolol is a slaver.; sent14 -> int3: if the Glycine is a jab but not brachial then it is a lectureship.;
the hawthorn is a kind of a slaver.
sent5 -> int4: that the propanolol approximates but it is not a lectureship is not true.;
$hypothesis$ = the Glycine is a kind of a lectureship. ; $context$ = sent1: the bottleneck is not bimodal if it announces inion. sent2: the hawthorn does approximate if it is aoristic. sent3: the hawthorn is aoristic. sent4: if a multiple thing is not a foal then it does not tribulate Mondrian. sent5: there is nothing such that it does approximate and it is not a lectureship. sent6: the propanolol is not brachial but a Lubavitcher if there exists something such that it does not tribulate Mondrian. sent7: the bottleneck is not an aspirate. sent8: if the fact that something is not brachial but a Lubavitcher is not false then it does not jab. sent9: the bottleneck announces inion and clamors Kigali if it is not an aspirate. sent10: the Glycine is a kind of a jab but it is not brachial if the bottleneck does not jab. sent11: if the hawthorn is not aoristic that the Glycine is not a kind of a lectureship is true. sent12: if something is not bimodal it is a multiple and it is not a foal. sent13: the Glycine is a lectureship if it is a jab and it is brachial. sent14: if something is a jab that is not brachial it is a kind of a lectureship. sent15: the propanolol is a kind of a slaver if the hawthorn does approximate. sent16: if something is not a jab then the fact that it is not a slaver and approximates is incorrect. ; $proof$ = 
sent2 & sent3 -> int1: the hawthorn approximates.; int1 & sent15 -> int2: the propanolol is a slaver.; sent14 -> int3: if the Glycine is a jab but not brachial then it is a lectureship.; __UNKNOWN__