if the ding-dong does not occur then the non-horizontalness and the perfuming enjambment occurs.
sent1: if the fact that the horizontal does not occur but the perfuming enjambment happens does not hold the ding-dong happens.
void -> assump2: Let's assume that the fact that the horizontal does not occur and the perfuming enjambment happens is incorrect.; sent1 & assump2 -> int1: the ding-dong occurs.; void -> assump1: Let's assume that the ding-dong does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the non-horizontalness and the perfuming enjambment happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the ding-dong does not occur then the non-horizontalness and the perfuming enjambment occurs. ; $context$ = sent1: if the fact that the horizontal does not occur but the perfuming enjambment happens does not hold the ding-dong happens. ; $proof$ = 
void -> assump2: Let's assume that the fact that the horizontal does not occur and the perfuming enjambment happens is incorrect.; sent1 & assump2 -> int1: the ding-dong occurs.; void -> assump1: Let's assume that the ding-dong does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the non-horizontalness and the perfuming enjambment happens.; [assump1] & int3 -> hypothesis; __PROVED__