the fact that there is something such that it is apteral and a tensed is not correct.
sent1: something is a kind of a holdover. sent2: there exists something such that it does unbend and is a kind of a Vietnamese. sent3: there exists something such that it is a kind of a riel. sent4: there is something such that it is Vietnamese. sent5: something slurps. sent6: something unbends. sent7: there is something such that it is a kind of a Manzoni. sent8: the bat is reverent if it unbends. sent9: there exists something such that it is unseductive and unbends. sent10: the backwater assumes if the Anjou does not assumes and is not reverent. sent11: there is something such that it is a kind of a Vietnamese that does unbend. sent12: if there exists something such that it is Vietnamese and it is reverent then the Anjou is apteral. sent13: the bat does unbend. sent14: the bat is Vietnamese if something is both unseductive and a riel. sent15: the Anjou tenses. sent16: something does dispense and it is alkahestic. sent17: the basuco is unseductive and a riel. sent18: something is quantitative. sent19: there exists something such that it is unseductive. sent20: there is something such that it is a Manzoni and it is a parcellation.
sent17 -> int1: something is unseductive and is a kind of a riel.; int1 & sent14 -> int2: the bat is a Vietnamese.; sent8 & sent13 -> int3: the bat is reverent.; int2 & int3 -> int4: the bat is Vietnamese and reverent.; int4 -> int5: there are Vietnamese and reverent things.; int5 & sent12 -> int6: the Anjou is apteral.; int6 & sent15 -> int7: the Anjou is apteral and it is tensed.; int7 -> hypothesis;
the backwater does assume and is a sogginess.
$hypothesis$ = the fact that there is something such that it is apteral and a tensed is not correct. ; $context$ = sent1: something is a kind of a holdover. sent2: there exists something such that it does unbend and is a kind of a Vietnamese. sent3: there exists something such that it is a kind of a riel. sent4: there is something such that it is Vietnamese. sent5: something slurps. sent6: something unbends. sent7: there is something such that it is a kind of a Manzoni. sent8: the bat is reverent if it unbends. sent9: there exists something such that it is unseductive and unbends. sent10: the backwater assumes if the Anjou does not assumes and is not reverent. sent11: there is something such that it is a kind of a Vietnamese that does unbend. sent12: if there exists something such that it is Vietnamese and it is reverent then the Anjou is apteral. sent13: the bat does unbend. sent14: the bat is Vietnamese if something is both unseductive and a riel. sent15: the Anjou tenses. sent16: something does dispense and it is alkahestic. sent17: the basuco is unseductive and a riel. sent18: something is quantitative. sent19: there exists something such that it is unseductive. sent20: there is something such that it is a Manzoni and it is a parcellation. ; $proof$ = 
sent17 -> int1: something is unseductive and is a kind of a riel.; int1 & sent14 -> int2: the bat is a Vietnamese.; sent8 & sent13 -> int3: the bat is reverent.; int2 & int3 -> int4: the bat is Vietnamese and reverent.; int4 -> int5: there are Vietnamese and reverent things.; int5 & sent12 -> int6: the Anjou is apteral.; int6 & sent15 -> int7: the Anjou is apteral and it is tensed.; int7 -> hypothesis; __DISPROVED__