there is something such that the fact that it ushers steamer and embowers gaiter is false.
sent1: The sump does not exhilarate wally. sent2: the wally embowers gaiter and it does coke if there exists something such that that it does not exhilarate sump is correct. sent3: the slammer is not a matelote and it is non-politics if the humor is not a Hungarian. sent4: the fact that there is something such that it is not a matelote is not incorrect. sent5: the angiosperm is not parental and it is not a kind of a coke if the wally does not exhilarate sump. sent6: that the slammer is a Tosk hold if the angiosperm is not parental but it is a coke. sent7: the fact that the mouser does usher steamer and it does embower gaiter does not hold if there are non-cloudy things. sent8: if there exists something such that it is not a matelote then the slammer is both a Hungarian and not reputable. sent9: the angiosperm does not coke. sent10: the deflector is not politics if the slammer is not a matelote and it is not politics. sent11: if the slammer is Hungarian and it is a Tosk then the humor is not cloudy. sent12: the wally does not exhilarate sump. sent13: there is something such that it is cloudy. sent14: if something is not a matelote then the slammer is disreputable. sent15: there exists something such that it is a matelote. sent16: the mouser is a kind of a coke that ushers steamer. sent17: the angiosperm is not a coke if the wally does not exhilarate sump. sent18: if the angiosperm is non-parental thing that is not a coke then the slammer is a Tosk. sent19: that the humor is not a Tosk but it is a Hungarian is wrong if it is not disreputable. sent20: the fact that the slammer is disreputable hold. sent21: something does usher steamer and it embowers gaiter.
sent4 & sent8 -> int1: the slammer is Hungarian and it is disreputable.; int1 -> int2: the slammer is a Hungarian.; sent5 & sent12 -> int3: the angiosperm is not parental and does not coke.; sent18 & int3 -> int4: the slammer is a Tosk.; int2 & int4 -> int5: the slammer is Hungarian a Tosk.; int5 & sent11 -> int6: the humor is not cloudy.; int6 -> int7: the fact that something is not cloudy is not wrong.; int7 & sent7 -> int8: the fact that the mouser ushers steamer and it embowers gaiter does not hold.; int8 -> hypothesis;
the deflector is not politics.
$hypothesis$ = there is something such that the fact that it ushers steamer and embowers gaiter is false. ; $context$ = sent1: The sump does not exhilarate wally. sent2: the wally embowers gaiter and it does coke if there exists something such that that it does not exhilarate sump is correct. sent3: the slammer is not a matelote and it is non-politics if the humor is not a Hungarian. sent4: the fact that there is something such that it is not a matelote is not incorrect. sent5: the angiosperm is not parental and it is not a kind of a coke if the wally does not exhilarate sump. sent6: that the slammer is a Tosk hold if the angiosperm is not parental but it is a coke. sent7: the fact that the mouser does usher steamer and it does embower gaiter does not hold if there are non-cloudy things. sent8: if there exists something such that it is not a matelote then the slammer is both a Hungarian and not reputable. sent9: the angiosperm does not coke. sent10: the deflector is not politics if the slammer is not a matelote and it is not politics. sent11: if the slammer is Hungarian and it is a Tosk then the humor is not cloudy. sent12: the wally does not exhilarate sump. sent13: there is something such that it is cloudy. sent14: if something is not a matelote then the slammer is disreputable. sent15: there exists something such that it is a matelote. sent16: the mouser is a kind of a coke that ushers steamer. sent17: the angiosperm is not a coke if the wally does not exhilarate sump. sent18: if the angiosperm is non-parental thing that is not a coke then the slammer is a Tosk. sent19: that the humor is not a Tosk but it is a Hungarian is wrong if it is not disreputable. sent20: the fact that the slammer is disreputable hold. sent21: something does usher steamer and it embowers gaiter. ; $proof$ = 
sent4 & sent8 -> int1: the slammer is Hungarian and it is disreputable.; int1 -> int2: the slammer is a Hungarian.; sent5 & sent12 -> int3: the angiosperm is not parental and does not coke.; sent18 & int3 -> int4: the slammer is a Tosk.; int2 & int4 -> int5: the slammer is Hungarian a Tosk.; int5 & sent11 -> int6: the humor is not cloudy.; int6 -> int7: the fact that something is not cloudy is not wrong.; int7 & sent7 -> int8: the fact that the mouser ushers steamer and it embowers gaiter does not hold.; int8 -> hypothesis; __PROVED__