if that the striping occurs is not wrong then that the counterblow occurs but the realigning does not occur is wrong.
sent1: if the mapping or the striping or both occurs then the millenarianness does not occur. sent2: the carpellariness is prevented by that the urgency occurs and/or the comforting ruck happens. sent3: if the chandelling does not occur then that both the nonsuppurativeness and the non-floralness occurs does not hold. sent4: if the nonsuppurativeness occurs the cytokineticness does not occur.
void -> assump1: Let's assume that the striping occurs.; assump1 -> int1: either the mapping or the striping or both happens.; sent1 & int1 -> int2: the millenarianness does not occur.;
$hypothesis$ = if that the striping occurs is not wrong then that the counterblow occurs but the realigning does not occur is wrong. ; $context$ = sent1: if the mapping or the striping or both occurs then the millenarianness does not occur. sent2: the carpellariness is prevented by that the urgency occurs and/or the comforting ruck happens. sent3: if the chandelling does not occur then that both the nonsuppurativeness and the non-floralness occurs does not hold. sent4: if the nonsuppurativeness occurs the cytokineticness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the striping occurs.; assump1 -> int1: either the mapping or the striping or both happens.; sent1 & int1 -> int2: the millenarianness does not occur.; __UNKNOWN__