that if the AC happens that the Malian but not the rewriting Algren occurs does not hold is incorrect.
sent1: the fact that the sophisticating ameba but not the disconnection occurs does not hold if the honorableness happens. sent2: the sophisticating gazania does not occur. sent3: the fact that the sail occurs but the nosohusialness does not occur is not true. sent4: if the malpractice occurs but the footlessness does not occur then the embezzlement happens. sent5: if the unreadiness occurs the fact that the revving but not the Jacobinicness happens does not hold. sent6: that the heartlessness but not the sophisticating hysteric happens is not wrong. sent7: the subverting but not the sophisticating weld occurs if the maneuver happens. sent8: if the sophisticating ambidexterity happens the fact that both the sophisticating gazania and the precentorship happens is incorrect. sent9: the malformation does not occur. sent10: the rewriting Algren does not occur. sent11: if the Malian happens and the rewriting Algren does not occur then the AC does not occur.
void -> assump1: Let's assume that the Malian happens and the rewriting Algren does not occur.; sent11 & assump1 -> int1: the AC does not occur.; void -> assump2: Let's assume that the fact that the AC happens is true.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Malianness happens but the rewriting Algren does not occur is wrong.; [assump2] & int3 -> hypothesis;
$hypothesis$ = that if the AC happens that the Malian but not the rewriting Algren occurs does not hold is incorrect. ; $context$ = sent1: the fact that the sophisticating ameba but not the disconnection occurs does not hold if the honorableness happens. sent2: the sophisticating gazania does not occur. sent3: the fact that the sail occurs but the nosohusialness does not occur is not true. sent4: if the malpractice occurs but the footlessness does not occur then the embezzlement happens. sent5: if the unreadiness occurs the fact that the revving but not the Jacobinicness happens does not hold. sent6: that the heartlessness but not the sophisticating hysteric happens is not wrong. sent7: the subverting but not the sophisticating weld occurs if the maneuver happens. sent8: if the sophisticating ambidexterity happens the fact that both the sophisticating gazania and the precentorship happens is incorrect. sent9: the malformation does not occur. sent10: the rewriting Algren does not occur. sent11: if the Malian happens and the rewriting Algren does not occur then the AC does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Malian happens and the rewriting Algren does not occur.; sent11 & assump1 -> int1: the AC does not occur.; void -> assump2: Let's assume that the fact that the AC happens is true.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Malianness happens but the rewriting Algren does not occur is wrong.; [assump2] & int3 -> hypothesis; __DISPROVED__