if the cismontaneness does not occur the deadness does not occur.
sent1: that the dead does not occur is triggered by that both the non-narrowness and the cismontaneness happens. sent2: if the Armageddon occurs the theater happens. sent3: the dead happens if the non-narrowness and the non-cismontaneness occurs. sent4: the narrowing does not occur if that the Armageddon does not occur is right. sent5: either the theater does not occur or the teratogenicness happens or both if the benedictoriness happens. sent6: the cismontaneness causes that the dead does not occur. sent7: the fact that the theater occurs is true. sent8: either the theater or the teratogenicness or both happens if the benedictoriness happens. sent9: the allelicness does not occur. sent10: if the non-narrowness and the non-cismontaneness occurs the dead does not occur. sent11: the fact that the theater does not occur and/or the teratogenicness occurs is not right if the Armageddon occurs. sent12: the fact that the benedictoriness occurs is not wrong.
void -> assump2: Let's assume that the Armageddon occurs.; sent11 & assump2 -> int1: the fact that the theater does not occur and/or the teratogenicness happens is incorrect.; sent5 & sent12 -> int2: the theater does not occur and/or the teratogenicness occurs.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Armageddon does not occur.; int4 & sent4 -> int5: the fact that the narrowness does not occur hold.; void -> assump1: Let's assume that the cismontaneness does not occur.; int5 & assump1 -> int6: the non-narrowness and the non-cismontaneness happens.; int6 & sent10 -> int7: the deadness does not occur.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the cismontaneness does not occur the deadness does not occur. ; $context$ = sent1: that the dead does not occur is triggered by that both the non-narrowness and the cismontaneness happens. sent2: if the Armageddon occurs the theater happens. sent3: the dead happens if the non-narrowness and the non-cismontaneness occurs. sent4: the narrowing does not occur if that the Armageddon does not occur is right. sent5: either the theater does not occur or the teratogenicness happens or both if the benedictoriness happens. sent6: the cismontaneness causes that the dead does not occur. sent7: the fact that the theater occurs is true. sent8: either the theater or the teratogenicness or both happens if the benedictoriness happens. sent9: the allelicness does not occur. sent10: if the non-narrowness and the non-cismontaneness occurs the dead does not occur. sent11: the fact that the theater does not occur and/or the teratogenicness occurs is not right if the Armageddon occurs. sent12: the fact that the benedictoriness occurs is not wrong. ; $proof$ = 
void -> assump2: Let's assume that the Armageddon occurs.; sent11 & assump2 -> int1: the fact that the theater does not occur and/or the teratogenicness happens is incorrect.; sent5 & sent12 -> int2: the theater does not occur and/or the teratogenicness occurs.; int1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the Armageddon does not occur.; int4 & sent4 -> int5: the fact that the narrowness does not occur hold.; void -> assump1: Let's assume that the cismontaneness does not occur.; int5 & assump1 -> int6: the non-narrowness and the non-cismontaneness happens.; int6 & sent10 -> int7: the deadness does not occur.; [assump1] & int7 -> hypothesis; __PROVED__