the bourbon is a kind of non-opisthognathous thing that is not a kind of a step.
sent1: if the fact that something is deductible and it is a step is right then the fact that it is not a freight is true. sent2: the tornado is a kind of a scorch and minstrels eusporangium. sent3: something that does minstrel oxygenation and is a perjurer is not a deductible. sent4: the bourbon is not a step. sent5: the bourbon is not a kind of a freight. sent6: the sinciput is a kind of a perjurer if the thorn is not a freight. sent7: something is not opisthognathous. sent8: the fact that the polyamide reposes but it is not a kind of a freight is wrong if something freight. sent9: the sinciput does minstrel oxygenation and is a perjurer if the thorn is not a freight. sent10: the sinciput is not a kind of a Haeckel and it does not minstrel horror. sent11: the polyamide does step. sent12: if the sinciput does not step then the bourbon is not a kind of a step. sent13: the sinciput is a perjurer. sent14: if something is not a deductible it does not step. sent15: the polyamide minstrels horror and is a deductible if there exists something such that it is non-opisthognathous. sent16: the bourbon does not expire geometry and is not northern. sent17: if something is deductible and it is a freight it does not minstrel oxygenation. sent18: if something is not a kind of a Haeckel and it does not minstrel horror the thorn is not a kind of a deductible. sent19: the thorn does not freight. sent20: the bourbon is not a kind of a perjurer. sent21: if that something is a repose and not a freight does not hold it is not a repose.
sent9 & sent19 -> int1: the sinciput does minstrel oxygenation and is a perjurer.; sent3 -> int2: if the sinciput does minstrel oxygenation and is a perjurer then it is nondeductible.; int1 & int2 -> int3: the sinciput is not a deductible.; sent14 -> int4: if the sinciput is not deductible then it is not a kind of a step.; int3 & int4 -> int5: that the sinciput is not a step is not false.;
the fact that the bourbon is not opisthognathous and it does not step does not hold.
sent10 -> int6: that there is something such that it is not a Haeckel and it does not minstrel horror is right.; int6 & sent18 -> int7: the thorn is not a kind of a deductible.;
$hypothesis$ = the bourbon is a kind of non-opisthognathous thing that is not a kind of a step. ; $context$ = sent1: if the fact that something is deductible and it is a step is right then the fact that it is not a freight is true. sent2: the tornado is a kind of a scorch and minstrels eusporangium. sent3: something that does minstrel oxygenation and is a perjurer is not a deductible. sent4: the bourbon is not a step. sent5: the bourbon is not a kind of a freight. sent6: the sinciput is a kind of a perjurer if the thorn is not a freight. sent7: something is not opisthognathous. sent8: the fact that the polyamide reposes but it is not a kind of a freight is wrong if something freight. sent9: the sinciput does minstrel oxygenation and is a perjurer if the thorn is not a freight. sent10: the sinciput is not a kind of a Haeckel and it does not minstrel horror. sent11: the polyamide does step. sent12: if the sinciput does not step then the bourbon is not a kind of a step. sent13: the sinciput is a perjurer. sent14: if something is not a deductible it does not step. sent15: the polyamide minstrels horror and is a deductible if there exists something such that it is non-opisthognathous. sent16: the bourbon does not expire geometry and is not northern. sent17: if something is deductible and it is a freight it does not minstrel oxygenation. sent18: if something is not a kind of a Haeckel and it does not minstrel horror the thorn is not a kind of a deductible. sent19: the thorn does not freight. sent20: the bourbon is not a kind of a perjurer. sent21: if that something is a repose and not a freight does not hold it is not a repose. ; $proof$ = 
sent9 & sent19 -> int1: the sinciput does minstrel oxygenation and is a perjurer.; sent3 -> int2: if the sinciput does minstrel oxygenation and is a perjurer then it is nondeductible.; int1 & int2 -> int3: the sinciput is not a deductible.; sent14 -> int4: if the sinciput is not deductible then it is not a kind of a step.; int3 & int4 -> int5: that the sinciput is not a step is not false.; __UNKNOWN__