that the bomb does not occur and the suffering bending does not occur is wrong if the anaclinalness happens.
sent1: if that not the exhortation but the anaclinalness occurs is not right the exhortation happens. sent2: if the anaclinalness happens then that not the bomb but the suffering bending occurs does not hold. sent3: if the anaclinalness happens then the fact that the bomb happens but the suffering bending does not occur is not right. sent4: the anaclinalness yields that the bomb does not occur and the suffering bending does not occur. sent5: if the bomb does not occur and the suffering bending does not occur then the anaclinalness happens. sent6: that the bomb does not occur and the suffering bending happens is not true.
void -> assump1: Let's assume that that the bomb does not occur and the suffering bending does not occur hold.;
the exhortation occurs.
$hypothesis$ = that the bomb does not occur and the suffering bending does not occur is wrong if the anaclinalness happens. ; $context$ = sent1: if that not the exhortation but the anaclinalness occurs is not right the exhortation happens. sent2: if the anaclinalness happens then that not the bomb but the suffering bending occurs does not hold. sent3: if the anaclinalness happens then the fact that the bomb happens but the suffering bending does not occur is not right. sent4: the anaclinalness yields that the bomb does not occur and the suffering bending does not occur. sent5: if the bomb does not occur and the suffering bending does not occur then the anaclinalness happens. sent6: that the bomb does not occur and the suffering bending happens is not true. ; $proof$ = 
void -> assump1: Let's assume that that the bomb does not occur and the suffering bending does not occur hold.; __UNKNOWN__