the fact that the Benedictine and the non-prelapsarianness happens is incorrect.
sent1: that the Benedictineness but not the prelapsarianness occurs yields that the sufficientness does not occur. sent2: that the sufficientness happens is not incorrect.
void -> assump1: Let's assume that the Benedictineness and the non-prelapsarianness happens.; sent1 & assump1 -> int1: the fact that the sufficientness does not occur is true.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the Benedictine and the non-prelapsarianness happens is incorrect. ; $context$ = sent1: that the Benedictineness but not the prelapsarianness occurs yields that the sufficientness does not occur. sent2: that the sufficientness happens is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the Benedictineness and the non-prelapsarianness happens.; sent1 & assump1 -> int1: the fact that the sufficientness does not occur is true.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__