the soundman is a kind of a leper.
sent1: the fact that the fact that the abstainer is a kind of tuberculate thing that does stifle Phalaenoptilus hold if there exists something such that it is non-apiarian is not incorrect. sent2: if that the alpha-naphthol does not remainder iconography but it is apiarian is not correct then that the wineglass remainder iconography is not incorrect. sent3: if the abstainer is tuberculate and it stifles Phalaenoptilus the alpha-naphthol does not stifles Phalaenoptilus. sent4: that the wineglass is not apiarian and does remainder iconography is wrong. sent5: there is something such that it is incommensurate and is not pectic. sent6: if something that eulogizes mutchkin remainders iconography then the soundman is a leper. sent7: there is something such that it does not render hyssop. sent8: that the phrontistery is not paramagnetic but it is an underperformer does not hold. sent9: if something does eulogize mutchkin and it remainders iconography the wineglass is apiarian. sent10: the chromophore is not apiarian if that the phrontistery is not paramagnetic but it is an underperformer does not hold. sent11: there is something such that it does eulogize mutchkin. sent12: if something does eulogize mutchkin then it is a libertarianism. sent13: the foremast does eulogize mutchkin if either the wineglass does eulogize mutchkin or it does not remainder iconography or both. sent14: there is something such that it creates and it is not a kind of a libertarianism. sent15: the fact that the soundman is a leper and it remainders iconography does not hold if there exists something such that it does not stifle Phalaenoptilus. sent16: if something that creates is not a libertarianism the wineglass does eulogize mutchkin.
sent14 & sent16 -> int1: the wineglass eulogizes mutchkin.;
the foremast is a libertarianism.
sent12 -> int2: if the foremast does eulogize mutchkin then it is a libertarianism.; sent10 & sent8 -> int3: the chromophore is non-apiarian.; int3 -> int4: there is something such that it is not apiarian.; int4 & sent1 -> int5: the abstainer is tuberculate and does stifle Phalaenoptilus.; sent3 & int5 -> int6: the fact that the alpha-naphthol does not stifle Phalaenoptilus is not false.; int6 -> int7: there is something such that it does not stifle Phalaenoptilus.; int7 & sent15 -> int8: the fact that the soundman is a kind of a leper and it does remainder iconography is false.; int8 -> int9: there is something such that the fact that it is a leper that remainders iconography is not correct.;
$hypothesis$ = the soundman is a kind of a leper. ; $context$ = sent1: the fact that the fact that the abstainer is a kind of tuberculate thing that does stifle Phalaenoptilus hold if there exists something such that it is non-apiarian is not incorrect. sent2: if that the alpha-naphthol does not remainder iconography but it is apiarian is not correct then that the wineglass remainder iconography is not incorrect. sent3: if the abstainer is tuberculate and it stifles Phalaenoptilus the alpha-naphthol does not stifles Phalaenoptilus. sent4: that the wineglass is not apiarian and does remainder iconography is wrong. sent5: there is something such that it is incommensurate and is not pectic. sent6: if something that eulogizes mutchkin remainders iconography then the soundman is a leper. sent7: there is something such that it does not render hyssop. sent8: that the phrontistery is not paramagnetic but it is an underperformer does not hold. sent9: if something does eulogize mutchkin and it remainders iconography the wineglass is apiarian. sent10: the chromophore is not apiarian if that the phrontistery is not paramagnetic but it is an underperformer does not hold. sent11: there is something such that it does eulogize mutchkin. sent12: if something does eulogize mutchkin then it is a libertarianism. sent13: the foremast does eulogize mutchkin if either the wineglass does eulogize mutchkin or it does not remainder iconography or both. sent14: there is something such that it creates and it is not a kind of a libertarianism. sent15: the fact that the soundman is a leper and it remainders iconography does not hold if there exists something such that it does not stifle Phalaenoptilus. sent16: if something that creates is not a libertarianism the wineglass does eulogize mutchkin. ; $proof$ = 
sent14 & sent16 -> int1: the wineglass eulogizes mutchkin.; __UNKNOWN__