both the impressiveness and the unbending native happens if the correction does not occur.
sent1: if the fact that the salutatory happens is correct the correction occurs. sent2: if the journalisticness occurs then that the unbending native does not occur is not correct. sent3: if the convoying Geisel occurs the salutatory occurs. sent4: the fact that the geneticsness does not occur is true. sent5: the impressiveness happens if the geneticsness does not occur. sent6: the journalisticness happens if the convoying Geisel does not occur. sent7: the devitalization is triggered by either that the salutatory does not occur or the devitalization or both.
void -> assump1: Let's assume that the convoying Geisel happens.; sent3 & assump1 -> int1: the salutatory happens.; int1 & sent1 -> int2: the fact that the correction happens hold.; void -> assump2: Let's assume that the correction does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the convoying Geisel does not occur.; int4 & sent6 -> int5: the journalisticness occurs.; int5 & sent2 -> int6: the unbending native occurs.; sent5 & sent4 -> int7: the impressiveness occurs.; int6 & int7 -> int8: the impressiveness happens and the unbending native happens.; [assump2] & int8 -> hypothesis;
the devitalization occurs.
$hypothesis$ = both the impressiveness and the unbending native happens if the correction does not occur. ; $context$ = sent1: if the fact that the salutatory happens is correct the correction occurs. sent2: if the journalisticness occurs then that the unbending native does not occur is not correct. sent3: if the convoying Geisel occurs the salutatory occurs. sent4: the fact that the geneticsness does not occur is true. sent5: the impressiveness happens if the geneticsness does not occur. sent6: the journalisticness happens if the convoying Geisel does not occur. sent7: the devitalization is triggered by either that the salutatory does not occur or the devitalization or both. ; $proof$ = 
void -> assump1: Let's assume that the convoying Geisel happens.; sent3 & assump1 -> int1: the salutatory happens.; int1 & sent1 -> int2: the fact that the correction happens hold.; void -> assump2: Let's assume that the correction does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the convoying Geisel does not occur.; int4 & sent6 -> int5: the journalisticness occurs.; int5 & sent2 -> int6: the unbending native occurs.; sent5 & sent4 -> int7: the impressiveness occurs.; int6 & int7 -> int8: the impressiveness happens and the unbending native happens.; [assump2] & int8 -> hypothesis; __PROVED__