the span does not occur and the redaction does not occur.
sent1: the blasphemy occurs. sent2: that not the suckling canton but the span happens is not true. sent3: the alarmism does not occur if that the suckling canton does not occur and the span does not occur is incorrect. sent4: both the alarmism and the happening occurs. sent5: the convergentness does not occur. sent6: the disapproving occurs. sent7: the redaction does not occur but the concealment happens if the suckling deckhand does not occur. sent8: the suckling deckhand does not occur if that the wailing oppression does not occur and the demagnetizing radiolarian does not occur does not hold. sent9: if the disapproving occurs that that the wailing oppression does not occur and the demagnetizing radiolarian does not occur is correct does not hold.
void -> assump1: Let's assume that the fact that the suckling canton does not occur and the span does not occur is wrong.; sent3 & assump1 -> int1: the alarmism does not occur.; sent4 -> int2: the alarmism occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the suckling canton does not occur and the span does not occur.; int4 -> int5: the span does not occur.; sent9 & sent6 -> int6: the fact that the wailing oppression does not occur and the demagnetizing radiolarian does not occur does not hold.; sent8 & int6 -> int7: the fact that the suckling deckhand does not occur is not false.; sent7 & int7 -> int8: not the redaction but the concealment happens.; int8 -> int9: the redaction does not occur.; int5 & int9 -> hypothesis;
$hypothesis$ = the span does not occur and the redaction does not occur. ; $context$ = sent1: the blasphemy occurs. sent2: that not the suckling canton but the span happens is not true. sent3: the alarmism does not occur if that the suckling canton does not occur and the span does not occur is incorrect. sent4: both the alarmism and the happening occurs. sent5: the convergentness does not occur. sent6: the disapproving occurs. sent7: the redaction does not occur but the concealment happens if the suckling deckhand does not occur. sent8: the suckling deckhand does not occur if that the wailing oppression does not occur and the demagnetizing radiolarian does not occur does not hold. sent9: if the disapproving occurs that that the wailing oppression does not occur and the demagnetizing radiolarian does not occur is correct does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the suckling canton does not occur and the span does not occur is wrong.; sent3 & assump1 -> int1: the alarmism does not occur.; sent4 -> int2: the alarmism occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the suckling canton does not occur and the span does not occur.; int4 -> int5: the span does not occur.; sent9 & sent6 -> int6: the fact that the wailing oppression does not occur and the demagnetizing radiolarian does not occur does not hold.; sent8 & int6 -> int7: the fact that the suckling deckhand does not occur is not false.; sent7 & int7 -> int8: not the redaction but the concealment happens.; int8 -> int9: the redaction does not occur.; int5 & int9 -> hypothesis; __PROVED__