that that the apliticness but not the interleaving ianfu occurs is not incorrect if the Kabbalism occurs is not true.
sent1: the disposal does not occur. sent2: the bloomer happens. sent3: that the interleaving ianfu does not occur is correct if both the bloomer and the Kabbalism happens. sent4: if the disposal does not occur then the apliticness occurs and the recessing happens.
void -> assump1: Let's assume that the Kabbalism happens.; sent2 & assump1 -> int1: the bloomer and the Kabbalism happens.; int1 & sent3 -> int2: the interleaving ianfu does not occur.; sent4 & sent1 -> int3: the apliticness and the recess happens.; int3 -> int4: the apliticness happens.; int2 & int4 -> int5: the apliticness occurs but the interleaving ianfu does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that that the apliticness but not the interleaving ianfu occurs is not incorrect if the Kabbalism occurs is not true. ; $context$ = sent1: the disposal does not occur. sent2: the bloomer happens. sent3: that the interleaving ianfu does not occur is correct if both the bloomer and the Kabbalism happens. sent4: if the disposal does not occur then the apliticness occurs and the recessing happens. ; $proof$ = 
void -> assump1: Let's assume that the Kabbalism happens.; sent2 & assump1 -> int1: the bloomer and the Kabbalism happens.; int1 & sent3 -> int2: the interleaving ianfu does not occur.; sent4 & sent1 -> int3: the apliticness and the recess happens.; int3 -> int4: the apliticness happens.; int2 & int4 -> int5: the apliticness occurs but the interleaving ianfu does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__