the sterilization does not occur.
sent1: if the fact that both the non-atheistness and the upgrading guarantee occurs is not correct then the sterilization does not occur.
void -> assump1: Let's assume that not the atheist but the upgrading guarantee occurs.; assump1 -> int1: the upgrading guarantee occurs.;
$hypothesis$ = the sterilization does not occur. ; $context$ = sent1: if the fact that both the non-atheistness and the upgrading guarantee occurs is not correct then the sterilization does not occur. ; $proof$ = 
void -> assump1: Let's assume that not the atheist but the upgrading guarantee occurs.; assump1 -> int1: the upgrading guarantee occurs.; __UNKNOWN__