that the antidotalness does not occur is not false.
sent1: if the corrupting does not occur the fact that the chattering and the slap occurs does not hold. sent2: that either the chattering occurs or the slap does not occur or both leads to that the corruptingness happens. sent3: if the undesirable occurs and/or the fabricating conspicuousness does not occur then the fortunateness happens. sent4: the antisatelliteness does not occur. sent5: that the injectableness does not occur is caused by that the slap does not occur but the chattering happens. sent6: if the broiling executrix happens the ameboidness occurs. sent7: the non-corruptingness and the non-antidotalness happens if the brachiopod occurs. sent8: either the chattering occurs or the slapping happens or both. sent9: the deceleration does not occur. sent10: the corrupting does not occur if the extravagance and/or the corruptingness happens. sent11: that the slap does not occur is true. sent12: both the extravagance and the brachiopodness happens if the quarantining tideland does not occur. sent13: if the corrupting occurs then the antidotalness happens.
sent11 -> int1: the chattering occurs or the slap does not occur or both.; sent2 & int1 -> int2: the corrupting happens.; sent13 & int2 -> hypothesis;
the antidotalness does not occur.
$hypothesis$ = that the antidotalness does not occur is not false. ; $context$ = sent1: if the corrupting does not occur the fact that the chattering and the slap occurs does not hold. sent2: that either the chattering occurs or the slap does not occur or both leads to that the corruptingness happens. sent3: if the undesirable occurs and/or the fabricating conspicuousness does not occur then the fortunateness happens. sent4: the antisatelliteness does not occur. sent5: that the injectableness does not occur is caused by that the slap does not occur but the chattering happens. sent6: if the broiling executrix happens the ameboidness occurs. sent7: the non-corruptingness and the non-antidotalness happens if the brachiopod occurs. sent8: either the chattering occurs or the slapping happens or both. sent9: the deceleration does not occur. sent10: the corrupting does not occur if the extravagance and/or the corruptingness happens. sent11: that the slap does not occur is true. sent12: both the extravagance and the brachiopodness happens if the quarantining tideland does not occur. sent13: if the corrupting occurs then the antidotalness happens. ; $proof$ = 
sent11 -> int1: the chattering occurs or the slap does not occur or both.; sent2 & int1 -> int2: the corrupting happens.; sent13 & int2 -> hypothesis; __DISPROVED__