the botulinalness does not occur and the upper-classness does not occur if the Calvinistness does not occur.
sent1: if the connection does not occur then both the non-botulinalness and the non-upper-classness occurs. sent2: that the Calvinistness does not occur triggers that the connection does not occur and the freeze does not occur.
void -> assump1: Let's assume that the Calvinistness does not occur.; sent2 & assump1 -> int1: the connection does not occur and the freezing does not occur.; int1 -> int2: the connection does not occur.; sent1 & int2 -> int3: the non-botulinalness and the non-upper-classness occurs.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the botulinalness does not occur and the upper-classness does not occur if the Calvinistness does not occur. ; $context$ = sent1: if the connection does not occur then both the non-botulinalness and the non-upper-classness occurs. sent2: that the Calvinistness does not occur triggers that the connection does not occur and the freeze does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Calvinistness does not occur.; sent2 & assump1 -> int1: the connection does not occur and the freezing does not occur.; int1 -> int2: the connection does not occur.; sent1 & int2 -> int3: the non-botulinalness and the non-upper-classness occurs.; [assump1] & int3 -> hypothesis; __PROVED__