there exists something such that if it is not a saved but anosmic it is nidifugous.
sent1: if something that is not a scleroprotein does debut viaduct then it is a kind of a Beatitude. sent2: if something that is not a saved is anosmic then it is nidifugous.
sent2 -> int1: if the viaduct is not a saved but it is anosmic it is nidifugous.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a saved but anosmic it is nidifugous. ; $context$ = sent1: if something that is not a scleroprotein does debut viaduct then it is a kind of a Beatitude. sent2: if something that is not a saved is anosmic then it is nidifugous. ; $proof$ = 
sent2 -> int1: if the viaduct is not a saved but it is anosmic it is nidifugous.; int1 -> hypothesis; __PROVED__