that the humming senior does not occur causes either the tailoring or that the demilitarizing occurs or both.
sent1: if the splurging occurs then the humming senior occurs. sent2: that either the tailoring or the demilitarizing or both happens is caused by that the humming senior occurs. sent3: if the losslessness does not occur that the splurge does not occur and the granulomatousness happens is wrong. sent4: that the splurge occurs and the granulomatousness happens is not correct. sent5: that the fact that the humming senior does not occur is not false does not hold if the fact that the splurging does not occur but the granulomatousness happens does not hold. sent6: if the fact that the losslessness does not occur is not incorrect then that both the splurging and the granulomatousness happens is not true. sent7: if the uricosuricness happens then the keratinizing aliyah occurs.
void -> assump2: Let's assume that the losslessness does not occur.; sent3 & assump2 -> int1: the fact that the splurge does not occur but the granulomatousness happens is incorrect.; sent5 & int1 -> int2: the humming senior happens.; void -> assump1: Let's assume that the humming senior does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the losslessness happens.;
$hypothesis$ = that the humming senior does not occur causes either the tailoring or that the demilitarizing occurs or both. ; $context$ = sent1: if the splurging occurs then the humming senior occurs. sent2: that either the tailoring or the demilitarizing or both happens is caused by that the humming senior occurs. sent3: if the losslessness does not occur that the splurge does not occur and the granulomatousness happens is wrong. sent4: that the splurge occurs and the granulomatousness happens is not correct. sent5: that the fact that the humming senior does not occur is not false does not hold if the fact that the splurging does not occur but the granulomatousness happens does not hold. sent6: if the fact that the losslessness does not occur is not incorrect then that both the splurging and the granulomatousness happens is not true. sent7: if the uricosuricness happens then the keratinizing aliyah occurs. ; $proof$ = 
void -> assump2: Let's assume that the losslessness does not occur.; sent3 & assump2 -> int1: the fact that the splurge does not occur but the granulomatousness happens is incorrect.; sent5 & int1 -> int2: the humming senior happens.; void -> assump1: Let's assume that the humming senior does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the losslessness happens.; __UNKNOWN__