there is something such that if it does not actualize then the fact that it is both a SC and a heretic is not true.
sent1: the fact that the ozonosphere is a kind of a SC and it is a heretic is incorrect if it actualizes. sent2: there exists something such that if it actualizes then that it is a SC and is a heretic does not hold. sent3: that something is a SC and it is a heretic is incorrect if it does actualize.
$hypothesis$ = there is something such that if it does not actualize then the fact that it is both a SC and a heretic is not true. ; $context$ = sent1: the fact that the ozonosphere is a kind of a SC and it is a heretic is incorrect if it actualizes. sent2: there exists something such that if it actualizes then that it is a SC and is a heretic does not hold. sent3: that something is a SC and it is a heretic is incorrect if it does actualize. ; $proof$ = 
__UNKNOWN__