the vicar does gather dollop.
sent1: the spit is not a Epirus. sent2: the larid is not slippery. sent3: if there is something such that that it is a kind of a overtolerance and it is bumpy is not true then that the vicar is not a overtolerance is correct. sent4: something gathers dollop if it dispenses. sent5: if something is a oakum then it is not a kind of a Epirus. sent6: the Texan is a kind of a Klamath. sent7: the vicar is a Epirus if the Texan gathers dollop. sent8: something is a Klamath if it is not a overtolerance. sent9: the spit is nonclassical. sent10: if the larid is not slippery the fact that that the garden is a overtolerance and it is not non-bumpy is true is not true. sent11: if the Texan dispenses the spit is a kind of a oakum. sent12: the spit does dispense. sent13: if the vicar is a kind of a Klamath that the Texan is not a Epirus and gathers dollop does not hold. sent14: the pedophile is a oakum. sent15: something is not gladiatorial if it does gather vicar. sent16: if something is a pipsissewa then it does not invoke Ursus. sent17: the vicar does not gather dollop if the Texan is not a kind of a Epirus. sent18: if the fact that the spit dispenses is true the Texan is a oakum. sent19: that the spit is not a kind of an allergen is correct.
sent18 & sent12 -> int1: the Texan is a oakum.; sent5 -> int2: the Texan is not a Epirus if it is a kind of a oakum.; int1 & int2 -> int3: that the Texan is not a kind of a Epirus hold.; int3 & sent17 -> hypothesis;
the vicar does gather dollop.
sent4 -> int4: if the vicar does dispense then it gathers dollop.; sent6 -> int5: there is something such that it is a Klamath.;
$hypothesis$ = the vicar does gather dollop. ; $context$ = sent1: the spit is not a Epirus. sent2: the larid is not slippery. sent3: if there is something such that that it is a kind of a overtolerance and it is bumpy is not true then that the vicar is not a overtolerance is correct. sent4: something gathers dollop if it dispenses. sent5: if something is a oakum then it is not a kind of a Epirus. sent6: the Texan is a kind of a Klamath. sent7: the vicar is a Epirus if the Texan gathers dollop. sent8: something is a Klamath if it is not a overtolerance. sent9: the spit is nonclassical. sent10: if the larid is not slippery the fact that that the garden is a overtolerance and it is not non-bumpy is true is not true. sent11: if the Texan dispenses the spit is a kind of a oakum. sent12: the spit does dispense. sent13: if the vicar is a kind of a Klamath that the Texan is not a Epirus and gathers dollop does not hold. sent14: the pedophile is a oakum. sent15: something is not gladiatorial if it does gather vicar. sent16: if something is a pipsissewa then it does not invoke Ursus. sent17: the vicar does not gather dollop if the Texan is not a kind of a Epirus. sent18: if the fact that the spit dispenses is true the Texan is a oakum. sent19: that the spit is not a kind of an allergen is correct. ; $proof$ = 
sent18 & sent12 -> int1: the Texan is a oakum.; sent5 -> int2: the Texan is not a Epirus if it is a kind of a oakum.; int1 & int2 -> int3: that the Texan is not a kind of a Epirus hold.; int3 & sent17 -> hypothesis; __DISPROVED__