there is something such that if that it is not a bishopry and not a celecoxib is not correct then it is endodontic.
sent1: the focalization is endodontic if that it is both not a bishopry and not a celecoxib does not hold. sent2: there exists something such that if the fact that it is a kind of a bishopry and it is not a kind of a celecoxib is not right then it is endodontic.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if that it is not a bishopry and not a celecoxib is not correct then it is endodontic. ; $context$ = sent1: the focalization is endodontic if that it is both not a bishopry and not a celecoxib does not hold. sent2: there exists something such that if the fact that it is a kind of a bishopry and it is not a kind of a celecoxib is not right then it is endodontic. ; $proof$ = 
sent1 -> hypothesis; __PROVED__