the fact that if the leveling fund happens then that the antiphonary occurs is not incorrect does not hold.
sent1: that the mnemonic does not occur and the manicuring happens is not true if the change-up does not occur. sent2: the leveling lasso occurs if that the mnemonicness does not occur and the manicure occurs is not true. sent3: the leveling lasso does not occur if that the mercy does not occur and the detention does not occur is false. sent4: if the leveling lasso happens then the antiphonary occurs. sent5: if that the cortico-hypothalamicness does not occur and the retaking does not occur is not right then the retaking occurs. sent6: if the mail occurs then the fact that the cortico-hypothalamicness does not occur and the retake does not occur does not hold. sent7: that the manicuring does not occur leads to that the autoeciousness happens and the leveling fund happens. sent8: the fact that the mnemonic and the non-antiphonariness occurs is not true if the leveling lasso does not occur. sent9: the Providence leads to that the viatication does not occur and the goading occurs. sent10: if the leveling fund happens the change-up does not occur but the nonarborealness happens. sent11: if the retake occurs then the fact that the mercy does not occur and the detention does not occur is not correct. sent12: the mnemonic does not occur if that the mnemonic occurs and the antiphonary does not occur is not right.
void -> assump1: Let's assume that the leveling fund happens.; sent10 & assump1 -> int1: not the change-up but the nonarborealness occurs.; int1 -> int2: the change-up does not occur.; sent1 & int2 -> int3: the fact that not the mnemonic but the manicure occurs is not right.; sent2 & int3 -> int4: the leveling lasso happens.; sent4 & int4 -> int5: the antiphonary happens.; [assump1] & int5 -> hypothesis;
that the autoeciousness occurs hold.
$hypothesis$ = the fact that if the leveling fund happens then that the antiphonary occurs is not incorrect does not hold. ; $context$ = sent1: that the mnemonic does not occur and the manicuring happens is not true if the change-up does not occur. sent2: the leveling lasso occurs if that the mnemonicness does not occur and the manicure occurs is not true. sent3: the leveling lasso does not occur if that the mercy does not occur and the detention does not occur is false. sent4: if the leveling lasso happens then the antiphonary occurs. sent5: if that the cortico-hypothalamicness does not occur and the retaking does not occur is not right then the retaking occurs. sent6: if the mail occurs then the fact that the cortico-hypothalamicness does not occur and the retake does not occur does not hold. sent7: that the manicuring does not occur leads to that the autoeciousness happens and the leveling fund happens. sent8: the fact that the mnemonic and the non-antiphonariness occurs is not true if the leveling lasso does not occur. sent9: the Providence leads to that the viatication does not occur and the goading occurs. sent10: if the leveling fund happens the change-up does not occur but the nonarborealness happens. sent11: if the retake occurs then the fact that the mercy does not occur and the detention does not occur is not correct. sent12: the mnemonic does not occur if that the mnemonic occurs and the antiphonary does not occur is not right. ; $proof$ = 
void -> assump1: Let's assume that the leveling fund happens.; sent10 & assump1 -> int1: not the change-up but the nonarborealness occurs.; int1 -> int2: the change-up does not occur.; sent1 & int2 -> int3: the fact that not the mnemonic but the manicure occurs is not right.; sent2 & int3 -> int4: the leveling lasso happens.; sent4 & int4 -> int5: the antiphonary happens.; [assump1] & int5 -> hypothesis; __DISPROVED__