if the becoming Alexander happens then the planning does not occur and/or the nursing cakewalk happens.
sent1: if the fact that the planning does not occur or the nursing cakewalk occurs or both is wrong the becoming Alexander does not occur. sent2: if the fact that both the non-equatorialness and the staccatoness occurs is wrong the staccatoness does not occur. sent3: that either the non-paralyticness or the desirableness or both happens does not hold. sent4: that either the overprinting Verdandi does not occur or the nursing bookishness happens or both is false if the nursing laudanum does not occur. sent5: the becoming aerology does not occur if not the eparchialness but the apomicticness occurs. sent6: if the planning does not occur and/or the nursing cakewalk occurs then the becoming Alexander does not occur. sent7: that both the quadrille and the unapologeticness occurs is brought about by the non-staccatoness. sent8: the planning happens. sent9: if the quadrille occurs both the non-eparchialness and the apomicticness occurs. sent10: the communistness does not occur. sent11: the fact that the becoming Alexander does not occur is wrong if the fact that the planning does not occur and/or the nursing cakewalk happens does not hold. sent12: the becoming Alexander does not occur if the fact that that the planning happens and/or the nursing cakewalk occurs hold is not right. sent13: that either the non-Argentineness or the headstand or both happens is false. sent14: if the eviction occurs then the becoming Alexander happens but the nursing laudanum does not occur. sent15: the planning or the nursing cakewalk or both occurs. sent16: if the becoming Alexander occurs then either the planning or the nursing cakewalk or both occurs. sent17: the eviction happens and the buck occurs if the becoming aerology does not occur. sent18: the nursing bookishness does not occur. sent19: the fact that if the fact that the nursing laudanum does not occur or the becoming Alexander does not occur or both is not true then the fact that the nursing rho occurs is true is not false. sent20: the admixture occurs.
void -> assump1: Let's assume that that the planning does not occur and/or the nursing cakewalk occurs does not hold.; sent1 & assump1 -> int1: the becoming Alexander does not occur.; void -> assump2: Let's assume that the becoming Alexander occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: either the planning does not occur or the nursing cakewalk happens or both.; [assump2] & int3 -> hypothesis;
the fact that either the overprinting Verdandi does not occur or the nursing bookishness happens or both does not hold.
$hypothesis$ = if the becoming Alexander happens then the planning does not occur and/or the nursing cakewalk happens. ; $context$ = sent1: if the fact that the planning does not occur or the nursing cakewalk occurs or both is wrong the becoming Alexander does not occur. sent2: if the fact that both the non-equatorialness and the staccatoness occurs is wrong the staccatoness does not occur. sent3: that either the non-paralyticness or the desirableness or both happens does not hold. sent4: that either the overprinting Verdandi does not occur or the nursing bookishness happens or both is false if the nursing laudanum does not occur. sent5: the becoming aerology does not occur if not the eparchialness but the apomicticness occurs. sent6: if the planning does not occur and/or the nursing cakewalk occurs then the becoming Alexander does not occur. sent7: that both the quadrille and the unapologeticness occurs is brought about by the non-staccatoness. sent8: the planning happens. sent9: if the quadrille occurs both the non-eparchialness and the apomicticness occurs. sent10: the communistness does not occur. sent11: the fact that the becoming Alexander does not occur is wrong if the fact that the planning does not occur and/or the nursing cakewalk happens does not hold. sent12: the becoming Alexander does not occur if the fact that that the planning happens and/or the nursing cakewalk occurs hold is not right. sent13: that either the non-Argentineness or the headstand or both happens is false. sent14: if the eviction occurs then the becoming Alexander happens but the nursing laudanum does not occur. sent15: the planning or the nursing cakewalk or both occurs. sent16: if the becoming Alexander occurs then either the planning or the nursing cakewalk or both occurs. sent17: the eviction happens and the buck occurs if the becoming aerology does not occur. sent18: the nursing bookishness does not occur. sent19: the fact that if the fact that the nursing laudanum does not occur or the becoming Alexander does not occur or both is not true then the fact that the nursing rho occurs is true is not false. sent20: the admixture occurs. ; $proof$ = 
void -> assump1: Let's assume that that the planning does not occur and/or the nursing cakewalk occurs does not hold.; sent1 & assump1 -> int1: the becoming Alexander does not occur.; void -> assump2: Let's assume that the becoming Alexander occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: either the planning does not occur or the nursing cakewalk happens or both.; [assump2] & int3 -> hypothesis; __PROVED__