the counterbalance is a lobelia.
sent1: the canavanine does not interpolate. sent2: the overachiever interpolates and demilitarizes Corot. sent3: that the canavanine is not a lobelia and/or is a homeobox is incorrect if the African is not a immunocompetence. sent4: the canavanine is not a kind of a mutant and does not interpolate. sent5: the canavanine is a kind of a homeobox if the fact that it is not mutant and does not interpolate is not false. sent6: the fact that the counterbalance is a kind of a lobelia is not false if that the African is a Carnot hold. sent7: that if the canavanine is lumbosacral thing that is the exchange the canavanine is a immunocompetence is true. sent8: the canavanine is impartial. sent9: the canavanine is a kind of a immunocompetence if it is lumbosacral and it is not an exchange. sent10: something is a kind of a homeobox. sent11: if something that is a kind of a immunocompetence is a homeobox then the African is a Carnot. sent12: if that either the canavanine is not a lobelia or it is a homeobox or both is false then the counterbalance is not a lobelia. sent13: the candlestick contradistinguishes canavanine and is not a kind of a lobelia. sent14: the counterbalance is nonarboreal and interleaves homily.
sent5 & sent4 -> int1: the canavanine is a kind of a homeobox.;
the counterbalance is not a kind of a lobelia.
$hypothesis$ = the counterbalance is a lobelia. ; $context$ = sent1: the canavanine does not interpolate. sent2: the overachiever interpolates and demilitarizes Corot. sent3: that the canavanine is not a lobelia and/or is a homeobox is incorrect if the African is not a immunocompetence. sent4: the canavanine is not a kind of a mutant and does not interpolate. sent5: the canavanine is a kind of a homeobox if the fact that it is not mutant and does not interpolate is not false. sent6: the fact that the counterbalance is a kind of a lobelia is not false if that the African is a Carnot hold. sent7: that if the canavanine is lumbosacral thing that is the exchange the canavanine is a immunocompetence is true. sent8: the canavanine is impartial. sent9: the canavanine is a kind of a immunocompetence if it is lumbosacral and it is not an exchange. sent10: something is a kind of a homeobox. sent11: if something that is a kind of a immunocompetence is a homeobox then the African is a Carnot. sent12: if that either the canavanine is not a lobelia or it is a homeobox or both is false then the counterbalance is not a lobelia. sent13: the candlestick contradistinguishes canavanine and is not a kind of a lobelia. sent14: the counterbalance is nonarboreal and interleaves homily. ; $proof$ = 
sent5 & sent4 -> int1: the canavanine is a kind of a homeobox.; __UNKNOWN__