there is something such that if the fact that it is not empyrean hold the fact that it is a kind of a bleach and it does cloud keep is not right.
sent1: if the fact that the maraschino is not empyrean hold then that it is a bleach and it does cloud keep is not correct.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is not empyrean hold the fact that it is a kind of a bleach and it does cloud keep is not right. ; $context$ = sent1: if the fact that the maraschino is not empyrean hold then that it is a bleach and it does cloud keep is not correct. ; $proof$ = 
sent1 -> hypothesis; __PROVED__