that the airburst occurs prevents the non-alluvialness.
sent1: the guaranteeing clarity does not occur. sent2: the guaranteeing heartiness and the alluvialness occurs if the arrogating ultimacy does not occur.
void -> assump1: Let's assume that the airburst occurs.; assump1 -> int1: the scorbuticness and/or the airburst occurs.;
$hypothesis$ = that the airburst occurs prevents the non-alluvialness. ; $context$ = sent1: the guaranteeing clarity does not occur. sent2: the guaranteeing heartiness and the alluvialness occurs if the arrogating ultimacy does not occur. ; $proof$ = 
void -> assump1: Let's assume that the airburst occurs.; assump1 -> int1: the scorbuticness and/or the airburst occurs.; __UNKNOWN__