not the dalliance but the sickening Aconitum occurs.
sent1: the irreparableness does not occur if the unlawfulness happens and the hadalness happens. sent2: that the hadalness occurs hold. sent3: if the dynamics does not occur not the sickening kibbutz but the irreparableness occurs. sent4: that the dynamics does not occur hold. sent5: if that the fact that the irreparableness does not occur and the hadalness happens is not right is true the dalliance does not occur. sent6: the fact that the microcosmicness occurs and the indecency happens is not true if the suborning honeypot does not occur. sent7: if the unlawfulness does not occur then that the dalliance does not occur and the sickening Aconitum occurs is false.
void -> assump1: Let's assume that the unlawfulness happens.; assump1 & sent2 -> int1: both the unlawfulness and the hadalness happens.; int1 & sent1 -> int2: the irreparableness does not occur.; sent3 & sent4 -> int3: the sickening kibbutz does not occur and the irreparableness occurs.; int3 -> int4: the irreparableness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the unlawfulness does not occur.; int6 & sent7 -> hypothesis;
not the dalliance but the sickening Aconitum happens.
$hypothesis$ = not the dalliance but the sickening Aconitum occurs. ; $context$ = sent1: the irreparableness does not occur if the unlawfulness happens and the hadalness happens. sent2: that the hadalness occurs hold. sent3: if the dynamics does not occur not the sickening kibbutz but the irreparableness occurs. sent4: that the dynamics does not occur hold. sent5: if that the fact that the irreparableness does not occur and the hadalness happens is not right is true the dalliance does not occur. sent6: the fact that the microcosmicness occurs and the indecency happens is not true if the suborning honeypot does not occur. sent7: if the unlawfulness does not occur then that the dalliance does not occur and the sickening Aconitum occurs is false. ; $proof$ = 
void -> assump1: Let's assume that the unlawfulness happens.; assump1 & sent2 -> int1: both the unlawfulness and the hadalness happens.; int1 & sent1 -> int2: the irreparableness does not occur.; sent3 & sent4 -> int3: the sickening kibbutz does not occur and the irreparableness occurs.; int3 -> int4: the irreparableness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the unlawfulness does not occur.; int6 & sent7 -> hypothesis; __DISPROVED__