there exists something such that if it is not unwieldy and not non-diagnostic it is not a nigger.
sent1: the epergne is not a nigger if it is a kind of wieldy thing that is diagnostic. sent2: there is something such that if it is wieldy and it is diagnostic it is a nigger.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not unwieldy and not non-diagnostic it is not a nigger. ; $context$ = sent1: the epergne is not a nigger if it is a kind of wieldy thing that is diagnostic. sent2: there is something such that if it is wieldy and it is diagnostic it is a nigger. ; $proof$ = 
sent1 -> hypothesis; __PROVED__