the falling does not occur.
sent1: if the erectingness happens the contagion occurs. sent2: the drifting occurs if the Modernness occurs. sent3: that the exoergicness does not occur or that the chordalness does not occur or both leads to that the cerebrovascularness does not occur. sent4: that both the non-hematopoieticness and the focalness occurs is not right if the Chippendaleness does not occur. sent5: if that the non-hematopoieticness and the focalness occurs does not hold the focalness does not occur. sent6: if the focalness does not occur then the slagging break and the falls happens. sent7: if the fact that either the rewarding cupid does not occur or the cellularness occurs or both is not correct the Chippendale does not occur. sent8: that the resinlikeness occurs hold if the falls occurs. sent9: if the rewarding outdoorsman does not occur and/or the longness does not occur the substantialness does not occur. sent10: the contagion does not occur and the slagging break does not occur. sent11: the falling does not occur if the erectingness does not occur or the resinlikeness does not occur or both. sent12: the pegging Shankar does not occur if the contagion and the non-erectingness happens.
void -> assump1: Let's assume that the erectingness occurs.; sent1 & assump1 -> int1: the contagion occurs.; sent10 -> int2: the contagion does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the erectingness does not occur.; int4 -> int5: either the non-erectingness or the non-resinlikeness or both happens.; int5 & sent11 -> hypothesis;
that the pegging Shankar does not occur hold.
$hypothesis$ = the falling does not occur. ; $context$ = sent1: if the erectingness happens the contagion occurs. sent2: the drifting occurs if the Modernness occurs. sent3: that the exoergicness does not occur or that the chordalness does not occur or both leads to that the cerebrovascularness does not occur. sent4: that both the non-hematopoieticness and the focalness occurs is not right if the Chippendaleness does not occur. sent5: if that the non-hematopoieticness and the focalness occurs does not hold the focalness does not occur. sent6: if the focalness does not occur then the slagging break and the falls happens. sent7: if the fact that either the rewarding cupid does not occur or the cellularness occurs or both is not correct the Chippendale does not occur. sent8: that the resinlikeness occurs hold if the falls occurs. sent9: if the rewarding outdoorsman does not occur and/or the longness does not occur the substantialness does not occur. sent10: the contagion does not occur and the slagging break does not occur. sent11: the falling does not occur if the erectingness does not occur or the resinlikeness does not occur or both. sent12: the pegging Shankar does not occur if the contagion and the non-erectingness happens. ; $proof$ = 
void -> assump1: Let's assume that the erectingness occurs.; sent1 & assump1 -> int1: the contagion occurs.; sent10 -> int2: the contagion does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the erectingness does not occur.; int4 -> int5: either the non-erectingness or the non-resinlikeness or both happens.; int5 & sent11 -> hypothesis; __PROVED__