there exists something such that if it does not blind lock the fact that it is a kind of unpublishable a divertimento hold.
sent1: the Romanian is both not publishable and a divertimento if it does not blind lock.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not blind lock the fact that it is a kind of unpublishable a divertimento hold. ; $context$ = sent1: the Romanian is both not publishable and a divertimento if it does not blind lock. ; $proof$ = 
sent1 -> hypothesis; __PROVED__