that the encrusting curse happens prevents the non-benedictoriness.
sent1: if the depravity and the inaccessibleness happens then the encrusting curse does not occur. sent2: the fact that the inaccessibleness occurs is true.
void -> assump1: Let's assume that the encrusting curse happens.; void -> assump2: Let's assume that the depravity occurs.; assump2 & sent2 -> int1: the depravity happens and the inaccessibleness occurs.; sent1 & int1 -> int2: the encrusting curse does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the depravity does not occur.;
$hypothesis$ = that the encrusting curse happens prevents the non-benedictoriness. ; $context$ = sent1: if the depravity and the inaccessibleness happens then the encrusting curse does not occur. sent2: the fact that the inaccessibleness occurs is true. ; $proof$ = 
void -> assump1: Let's assume that the encrusting curse happens.; void -> assump2: Let's assume that the depravity occurs.; assump2 & sent2 -> int1: the depravity happens and the inaccessibleness occurs.; sent1 & int1 -> int2: the encrusting curse does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the depravity does not occur.; __UNKNOWN__