the micropylarness does not occur.
sent1: that the blaming noctiluca happens is prevented by that the micropylarness and the choleraicness happens. sent2: the choleraicness happens.
void -> assump1: Let's assume that the micropylarness occurs.; assump1 & sent2 -> int1: the micropylarness and the choleraicness occurs.; int1 & sent1 -> int2: the fact that the blaming noctiluca does not occur is not incorrect.;
$hypothesis$ = the micropylarness does not occur. ; $context$ = sent1: that the blaming noctiluca happens is prevented by that the micropylarness and the choleraicness happens. sent2: the choleraicness happens. ; $proof$ = 
void -> assump1: Let's assume that the micropylarness occurs.; assump1 & sent2 -> int1: the micropylarness and the choleraicness occurs.; int1 & sent1 -> int2: the fact that the blaming noctiluca does not occur is not incorrect.; __UNKNOWN__