if the glaring happens the electromyography does not occur and the Macedonian happens.
sent1: if the Carolineness and the glare happens the electromyography does not occur. sent2: both the non-antediluvianness and the things happens. sent3: if the enskying schooling occurs then the fact that the Macedonian occurs is not incorrect. sent4: the Carolineness happens. sent5: the covetousness does not occur but the selflessness occurs. sent6: both the scoffing Chimakum and the exalting newel happens. sent7: that the tailspin happens brings about that both the non-hypoglycemicness and the treadmill occurs.
void -> assump1: Let's assume that the glare occurs.; sent4 & assump1 -> int1: both the Carolineness and the glaring occurs.; int1 & sent1 -> int2: the fact that the electromyography does not occur is not wrong.;
$hypothesis$ = if the glaring happens the electromyography does not occur and the Macedonian happens. ; $context$ = sent1: if the Carolineness and the glare happens the electromyography does not occur. sent2: both the non-antediluvianness and the things happens. sent3: if the enskying schooling occurs then the fact that the Macedonian occurs is not incorrect. sent4: the Carolineness happens. sent5: the covetousness does not occur but the selflessness occurs. sent6: both the scoffing Chimakum and the exalting newel happens. sent7: that the tailspin happens brings about that both the non-hypoglycemicness and the treadmill occurs. ; $proof$ = 
void -> assump1: Let's assume that the glare occurs.; sent4 & assump1 -> int1: both the Carolineness and the glaring occurs.; int1 & sent1 -> int2: the fact that the electromyography does not occur is not wrong.; __UNKNOWN__