the notching Shostakovich does not occur if the salve occurs.
sent1: the pyemicness occurs. sent2: if the ossiferousness does not occur then the storminess does not occur and the notching Shostakovich does not occur. sent3: the notching Shostakovich happens.
void -> assump1: Let's assume that the salve happens.; assump1 & sent1 -> int1: the salve occurs and the pyemicness happens.;
$hypothesis$ = the notching Shostakovich does not occur if the salve occurs. ; $context$ = sent1: the pyemicness occurs. sent2: if the ossiferousness does not occur then the storminess does not occur and the notching Shostakovich does not occur. sent3: the notching Shostakovich happens. ; $proof$ = 
void -> assump1: Let's assume that the salve happens.; assump1 & sent1 -> int1: the salve occurs and the pyemicness happens.; __UNKNOWN__