that both the grading and the interiorness occurs is not wrong.
sent1: the exalting sprig brings about that the snick does not occur and the tempest does not occur. sent2: if the exalting sprig does not occur then that the grading and the interiorness occurs does not hold. sent3: that the snicking but not the tempest happens does not hold. sent4: the fact that the fact that the enskying self-fulfillment does not occur and the boondoggle occurs hold does not hold. sent5: that the snick does not occur and the tempest does not occur does not hold if the rally does not occur. sent6: the rallying does not occur. sent7: the sciaticness does not occur.
void -> assump1: Let's assume that the exalting sprig occurs.; sent1 & assump1 -> int1: the snicking does not occur and the tempest does not occur.; sent5 & sent6 -> int2: that the snicking does not occur and the tempest does not occur is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the exalting sprig does not occur.; int4 & sent2 -> hypothesis;
$hypothesis$ = that both the grading and the interiorness occurs is not wrong. ; $context$ = sent1: the exalting sprig brings about that the snick does not occur and the tempest does not occur. sent2: if the exalting sprig does not occur then that the grading and the interiorness occurs does not hold. sent3: that the snicking but not the tempest happens does not hold. sent4: the fact that the fact that the enskying self-fulfillment does not occur and the boondoggle occurs hold does not hold. sent5: that the snick does not occur and the tempest does not occur does not hold if the rally does not occur. sent6: the rallying does not occur. sent7: the sciaticness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the exalting sprig occurs.; sent1 & assump1 -> int1: the snicking does not occur and the tempest does not occur.; sent5 & sent6 -> int2: that the snicking does not occur and the tempest does not occur is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the exalting sprig does not occur.; int4 & sent2 -> hypothesis; __DISPROVED__