the denturist does not bar denturist.
sent1: the whalesucker does deglaze down-and-out. sent2: if the whalesucker does deglaze down-and-out the denturist does deglaze down-and-out. sent3: the whalesucker is a mercenary. sent4: The down-and-out does deglaze whalesucker. sent5: the ornithopod bars denturist. sent6: the fact that something that does deglaze down-and-out bars denturist is not incorrect. sent7: the down-and-out deglazes down-and-out. sent8: if that something bars denturist and does deglaze down-and-out does not hold then it does not bars denturist.
sent6 -> int1: the denturist bars denturist if it does deglaze down-and-out.; sent2 & sent1 -> int2: the denturist does deglaze down-and-out.; int1 & int2 -> hypothesis;
the denturist does not bar denturist.
sent8 -> int3: if that the denturist does bar denturist and deglazes down-and-out is incorrect it does not bar denturist.;
$hypothesis$ = the denturist does not bar denturist. ; $context$ = sent1: the whalesucker does deglaze down-and-out. sent2: if the whalesucker does deglaze down-and-out the denturist does deglaze down-and-out. sent3: the whalesucker is a mercenary. sent4: The down-and-out does deglaze whalesucker. sent5: the ornithopod bars denturist. sent6: the fact that something that does deglaze down-and-out bars denturist is not incorrect. sent7: the down-and-out deglazes down-and-out. sent8: if that something bars denturist and does deglaze down-and-out does not hold then it does not bars denturist. ; $proof$ = 
sent6 -> int1: the denturist bars denturist if it does deglaze down-and-out.; sent2 & sent1 -> int2: the denturist does deglaze down-and-out.; int1 & int2 -> hypothesis; __DISPROVED__