if the microelectronicness occurs the fact that the systematism does not occur and the dissenting hutch does not occur does not hold.
sent1: the diurnalness does not occur if that the microelectronicness happens is not incorrect.
void -> assump1: Let's assume that the microelectronicness occurs.; sent1 & assump1 -> int1: the diurnalness does not occur.;
$hypothesis$ = if the microelectronicness occurs the fact that the systematism does not occur and the dissenting hutch does not occur does not hold. ; $context$ = sent1: the diurnalness does not occur if that the microelectronicness happens is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the microelectronicness occurs.; sent1 & assump1 -> int1: the diurnalness does not occur.; __UNKNOWN__