the salaaming occurs.
sent1: the fact that the corpuscularness happens hold. sent2: the preponderating does not occur and the cribbing does not occur. sent3: if the corpuscularness happens the yelling does not occur. sent4: the salaam happens if the preponderating does not occur and the yelling does not occur. sent5: that the salaaming happens is prevented by that the yelling occurs and/or the non-corpuscularness. sent6: the fact that the financing occurs is right. sent7: the crib does not occur.
sent3 & sent1 -> int1: the yelling does not occur.; sent2 -> int2: the preponderating does not occur.; int1 & int2 -> int3: the preponderating does not occur and the yelling does not occur.; int3 & sent4 -> hypothesis;
the salaaming does not occur.
$hypothesis$ = the salaaming occurs. ; $context$ = sent1: the fact that the corpuscularness happens hold. sent2: the preponderating does not occur and the cribbing does not occur. sent3: if the corpuscularness happens the yelling does not occur. sent4: the salaam happens if the preponderating does not occur and the yelling does not occur. sent5: that the salaaming happens is prevented by that the yelling occurs and/or the non-corpuscularness. sent6: the fact that the financing occurs is right. sent7: the crib does not occur. ; $proof$ = 
sent3 & sent1 -> int1: the yelling does not occur.; sent2 -> int2: the preponderating does not occur.; int1 & int2 -> int3: the preponderating does not occur and the yelling does not occur.; int3 & sent4 -> hypothesis; __PROVED__