the occulting smut occurs.
sent1: that the obliging happens causes that the occulting smut happens. sent2: the fact that the congregation occurs hold if the sending does not occur. sent3: the sending does not occur. sent4: the obliging occurs if the congregation happens.
sent2 & sent3 -> int1: the congregation occurs.; sent4 & int1 -> int2: the obliging happens.; sent1 & int2 -> hypothesis;
$hypothesis$ = the occulting smut occurs. ; $context$ = sent1: that the obliging happens causes that the occulting smut happens. sent2: the fact that the congregation occurs hold if the sending does not occur. sent3: the sending does not occur. sent4: the obliging occurs if the congregation happens. ; $proof$ = 
sent2 & sent3 -> int1: the congregation occurs.; sent4 & int1 -> int2: the obliging happens.; sent1 & int2 -> hypothesis; __PROVED__