if the rambling corolla does not occur the absolution does not occur and the auspicating happens.
sent1: that the rambling ham occurs and/or that the penalty does not occur prevents that the auspicating does not occur. sent2: the absolution does not occur if either the rambling corolla does not occur or the viricidalness happens or both.
void -> assump1: Let's assume that the rambling corolla does not occur.; assump1 -> int1: the rambling corolla does not occur or the viricidalness occurs or both.; int1 & sent2 -> int2: the absolution does not occur.;
$hypothesis$ = if the rambling corolla does not occur the absolution does not occur and the auspicating happens. ; $context$ = sent1: that the rambling ham occurs and/or that the penalty does not occur prevents that the auspicating does not occur. sent2: the absolution does not occur if either the rambling corolla does not occur or the viricidalness happens or both. ; $proof$ = 
void -> assump1: Let's assume that the rambling corolla does not occur.; assump1 -> int1: the rambling corolla does not occur or the viricidalness occurs or both.; int1 & sent2 -> int2: the absolution does not occur.; __UNKNOWN__