the asyndeticness does not occur if the modern happens.
sent1: the fact that the modernness happens but the asyndeticness does not occur does not hold if the Estonianness does not occur. sent2: the accusatorialness occurs. sent3: the modern occurs if the asyndeticness happens and the deathblow happens. sent4: the diurnalness happens but the rivaling bodied does not occur if the deathblow does not occur. sent5: the non-asyndeticness is prevented by that the modernness happens. sent6: the rivaling Dryden prevents the extrospectiveness. sent7: the rivaling bodied occurs and the deathblow occurs.
void -> assump1: Let's assume that the modernness occurs.; void -> assump2: Let's assume that the asyndeticness occurs.; sent7 -> int1: the deathblow happens.; assump2 & int1 -> int2: the asyndeticness and the deathblow occurs.;
the diurnalness occurs.
$hypothesis$ = the asyndeticness does not occur if the modern happens. ; $context$ = sent1: the fact that the modernness happens but the asyndeticness does not occur does not hold if the Estonianness does not occur. sent2: the accusatorialness occurs. sent3: the modern occurs if the asyndeticness happens and the deathblow happens. sent4: the diurnalness happens but the rivaling bodied does not occur if the deathblow does not occur. sent5: the non-asyndeticness is prevented by that the modernness happens. sent6: the rivaling Dryden prevents the extrospectiveness. sent7: the rivaling bodied occurs and the deathblow occurs. ; $proof$ = 
void -> assump1: Let's assume that the modernness occurs.; void -> assump2: Let's assume that the asyndeticness occurs.; sent7 -> int1: the deathblow happens.; assump2 & int1 -> int2: the asyndeticness and the deathblow occurs.; __UNKNOWN__