if the coldness does not occur then that the supraorbitalness does not occur and the lathering communication does not occur is not right.
sent1: if the coldness does not occur then the hum does not occur. sent2: the fact that that the supraorbitalness does not occur and the lathering communication does not occur hold does not hold if the hum does not occur.
void -> assump1: Let's assume that the cold does not occur.; sent1 & assump1 -> int1: the hum does not occur.; int1 & sent2 -> int2: that the supraorbitalness does not occur and the lathering communication does not occur is incorrect.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the coldness does not occur then that the supraorbitalness does not occur and the lathering communication does not occur is not right. ; $context$ = sent1: if the coldness does not occur then the hum does not occur. sent2: the fact that that the supraorbitalness does not occur and the lathering communication does not occur hold does not hold if the hum does not occur. ; $proof$ = 
void -> assump1: Let's assume that the cold does not occur.; sent1 & assump1 -> int1: the hum does not occur.; int1 & sent2 -> int2: that the supraorbitalness does not occur and the lathering communication does not occur is incorrect.; [assump1] & int2 -> hypothesis; __PROVED__