the lama is not a kind of a coulomb.
sent1: the lama is a coulomb if the Devon is a Protestant. sent2: something is not a coulomb if it is not a Spandau. sent3: the Devon is a Protestant if there exists something such that that it samples mongoose and it is not a banded does not hold. sent4: if something that is not a Callas does repress cornstalk then the fact that it is non-agrobiologic hold. sent5: if something that represses alchemy is profane then the cornstalk is not a Spandau. sent6: if something that is a kind of a Spandau is not a banded then the cornstalk is not a coulomb. sent7: that the lama is a Callas but not a coulomb is not true if it is not agrobiologic. sent8: the cornstalk does not repress alchemy. sent9: there exists something such that that it represses alchemy and it is not profane is not incorrect. sent10: if something that does repress alchemy is not profane the cornstalk is not a Spandau. sent11: something that is not a kind of a Spandau is not a Callas and represses cornstalk. sent12: the fact that the cornstalk samples mongoose and is not a banded does not hold if it is not agrobiologic. sent13: the Devon is not non-Protestant if something does not sample mongoose. sent14: there is something such that it samples mongoose and it is not a kind of a banded. sent15: if there exists something such that that it is agrobiologic but not a Protestant does not hold then the cornstalk does sample mongoose. sent16: there exists something such that the fact that it samples mongoose and is a banded is incorrect. sent17: something does repress cornstalk if it is not a Spandau. sent18: there exists something such that it is non-profane. sent19: if the fact that the cornstalk is not a Spandau is not wrong then it represses cornstalk. sent20: the cornstalk does repress cornstalk.
sent9 & sent10 -> int1: the cornstalk is not a Spandau.; sent11 -> int2: that the cornstalk is not the Callas and represses cornstalk if the cornstalk is not a kind of a Spandau is not wrong.; int1 & int2 -> int3: the cornstalk is not a Callas and represses cornstalk.; sent4 -> int4: the cornstalk is not agrobiologic if it is not a kind of a Callas and it represses cornstalk.; int3 & int4 -> int5: the cornstalk is not agrobiologic.; int5 & sent12 -> int6: the fact that the fact that the cornstalk samples mongoose and is not a banded is not incorrect does not hold.; int6 -> int7: there exists something such that that the fact that it does sample mongoose and it is not a kind of a banded is not false is wrong.; int7 & sent3 -> int8: the Devon is a Protestant.; int8 & sent1 -> hypothesis;
the lama is not a coulomb.
sent2 -> int9: the lama is not a coulomb if that it is not a kind of a Spandau is true.;
$hypothesis$ = the lama is not a kind of a coulomb. ; $context$ = sent1: the lama is a coulomb if the Devon is a Protestant. sent2: something is not a coulomb if it is not a Spandau. sent3: the Devon is a Protestant if there exists something such that that it samples mongoose and it is not a banded does not hold. sent4: if something that is not a Callas does repress cornstalk then the fact that it is non-agrobiologic hold. sent5: if something that represses alchemy is profane then the cornstalk is not a Spandau. sent6: if something that is a kind of a Spandau is not a banded then the cornstalk is not a coulomb. sent7: that the lama is a Callas but not a coulomb is not true if it is not agrobiologic. sent8: the cornstalk does not repress alchemy. sent9: there exists something such that that it represses alchemy and it is not profane is not incorrect. sent10: if something that does repress alchemy is not profane the cornstalk is not a Spandau. sent11: something that is not a kind of a Spandau is not a Callas and represses cornstalk. sent12: the fact that the cornstalk samples mongoose and is not a banded does not hold if it is not agrobiologic. sent13: the Devon is not non-Protestant if something does not sample mongoose. sent14: there is something such that it samples mongoose and it is not a kind of a banded. sent15: if there exists something such that that it is agrobiologic but not a Protestant does not hold then the cornstalk does sample mongoose. sent16: there exists something such that the fact that it samples mongoose and is a banded is incorrect. sent17: something does repress cornstalk if it is not a Spandau. sent18: there exists something such that it is non-profane. sent19: if the fact that the cornstalk is not a Spandau is not wrong then it represses cornstalk. sent20: the cornstalk does repress cornstalk. ; $proof$ = 
sent9 & sent10 -> int1: the cornstalk is not a Spandau.; sent11 -> int2: that the cornstalk is not the Callas and represses cornstalk if the cornstalk is not a kind of a Spandau is not wrong.; int1 & int2 -> int3: the cornstalk is not a Callas and represses cornstalk.; sent4 -> int4: the cornstalk is not agrobiologic if it is not a kind of a Callas and it represses cornstalk.; int3 & int4 -> int5: the cornstalk is not agrobiologic.; int5 & sent12 -> int6: the fact that the fact that the cornstalk samples mongoose and is not a banded is not incorrect does not hold.; int6 -> int7: there exists something such that that the fact that it does sample mongoose and it is not a kind of a banded is not false is wrong.; int7 & sent3 -> int8: the Devon is a Protestant.; int8 & sent1 -> hypothesis; __DISPROVED__