if the summarizing does not occur the mayoralness happens and the disfranchisement occurs.
sent1: that the mayoralness and the Baltic happens is caused by that the summarizing does not occur. sent2: if the mummifying boot does not occur then the fact that the Carolingian happens and the juridicalness does not occur is not correct. sent3: the disfranchisement occurs if that the fact that the rolling crystallization happens and the cinch does not occur does not hold is true. sent4: if the summarizing occurs the mayoralness and the disfranchisement happens. sent5: the summarizing leads to that the mayoralness occurs and the Balticness occurs. sent6: if the summarizing does not occur the Baltic occurs. sent7: both the racing and the baby happens. sent8: that the proximalness does not occur is not wrong. sent9: the crowing copyright happens. sent10: if the proximalness does not occur then that the rolling crystallization happens and the cinch happens is wrong. sent11: the breathlessness does not occur.
void -> assump1: Let's assume that the summarizing does not occur.; sent1 & assump1 -> int1: the mayoralness occurs and the Baltic occurs.; int1 -> int2: the mayoralness occurs.;
$hypothesis$ = if the summarizing does not occur the mayoralness happens and the disfranchisement occurs. ; $context$ = sent1: that the mayoralness and the Baltic happens is caused by that the summarizing does not occur. sent2: if the mummifying boot does not occur then the fact that the Carolingian happens and the juridicalness does not occur is not correct. sent3: the disfranchisement occurs if that the fact that the rolling crystallization happens and the cinch does not occur does not hold is true. sent4: if the summarizing occurs the mayoralness and the disfranchisement happens. sent5: the summarizing leads to that the mayoralness occurs and the Balticness occurs. sent6: if the summarizing does not occur the Baltic occurs. sent7: both the racing and the baby happens. sent8: that the proximalness does not occur is not wrong. sent9: the crowing copyright happens. sent10: if the proximalness does not occur then that the rolling crystallization happens and the cinch happens is wrong. sent11: the breathlessness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the summarizing does not occur.; sent1 & assump1 -> int1: the mayoralness occurs and the Baltic occurs.; int1 -> int2: the mayoralness occurs.; __UNKNOWN__