that there is something such that if it is not unrespectable it does not unclutter does not hold.
sent1: there exists something such that if the fact that it is unrespectable is not incorrect it does not unclutter. sent2: something does not unclutter if that it is not respectable is not false. sent3: if something is not unrespectable then it does not unclutter.
sent3 -> int1: the diflunisal does not unclutter if it is not unrespectable.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is not unrespectable it does not unclutter does not hold. ; $context$ = sent1: there exists something such that if the fact that it is unrespectable is not incorrect it does not unclutter. sent2: something does not unclutter if that it is not respectable is not false. sent3: if something is not unrespectable then it does not unclutter. ; $proof$ = 
sent3 -> int1: the diflunisal does not unclutter if it is not unrespectable.; int1 -> hypothesis; __DISPROVED__