that the wowing ambulacrum does not occur yields that the angulation occurs or that the germination occurs or both.
sent1: if the fact that the wowing ambulacrum happens and/or the inuring occurs is true then the preposing luminescence occurs. sent2: the preposing luminescence occurs if the wowing ambulacrum does not occur or the inuring happens or both.
void -> assump1: Let's assume that the wowing ambulacrum does not occur.; assump1 -> int1: the wowing ambulacrum does not occur and/or the inuring happens.; sent2 & int1 -> int2: the preposing luminescence happens.;
$hypothesis$ = that the wowing ambulacrum does not occur yields that the angulation occurs or that the germination occurs or both. ; $context$ = sent1: if the fact that the wowing ambulacrum happens and/or the inuring occurs is true then the preposing luminescence occurs. sent2: the preposing luminescence occurs if the wowing ambulacrum does not occur or the inuring happens or both. ; $proof$ = 
void -> assump1: Let's assume that the wowing ambulacrum does not occur.; assump1 -> int1: the wowing ambulacrum does not occur and/or the inuring happens.; sent2 & int1 -> int2: the preposing luminescence happens.; __UNKNOWN__