if the rapping graphospasm occurs then the fact that the non-diatomicness and the exsiccating veld happens does not hold.
sent1: that both the non-diatomicness and the exsiccating veld occurs brings about that the rapping graphospasm does not occur.
void -> assump2: Let's assume that the diatomicness does not occur but the exsiccating veld happens.; sent1 & assump2 -> int1: the rapping graphospasm does not occur.; void -> assump1: Let's assume that the rapping graphospasm occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that not the diatomicness but the exsiccating veld happens does not hold.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the rapping graphospasm occurs then the fact that the non-diatomicness and the exsiccating veld happens does not hold. ; $context$ = sent1: that both the non-diatomicness and the exsiccating veld occurs brings about that the rapping graphospasm does not occur. ; $proof$ = 
void -> assump2: Let's assume that the diatomicness does not occur but the exsiccating veld happens.; sent1 & assump2 -> int1: the rapping graphospasm does not occur.; void -> assump1: Let's assume that the rapping graphospasm occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that not the diatomicness but the exsiccating veld happens does not hold.; [assump1] & int3 -> hypothesis; __PROVED__