the palatalizing impenetrability does not occur and the favoring happens.
sent1: if the sonography does not occur the prevention does not occur and the palatalizing shipside does not occur. sent2: the Assumption prevents the disposableness. sent3: that the diastole does not occur but the hounding Norrish happens is triggered by that the Transportation does not occur. sent4: if the backwardness does not occur then the fact that not the lecturing esmolol but the sonography happens is not correct. sent5: the Transportation does not occur. sent6: the fact that the sonography does not occur is not wrong if the fact that not the lecturing esmolol but the sonography occurs does not hold. sent7: the flatsness does not occur. sent8: the Transportation does not occur and the palatalizing impenetrability does not occur. sent9: if the palatalizing shipside does not occur then the Transportation does not occur and the snapping does not occur. sent10: the intestateness and the Assumption occurs if the hounding fitted does not occur. sent11: the snapping happens. sent12: both the favor and the snapping occurs. sent13: if the nondisposableness occurs then the backwardness does not occur and the sale does not occur.
sent8 -> int1: the palatalizing impenetrability does not occur.; sent12 -> int2: the favoring happens.; int1 & int2 -> hypothesis;
the diastole does not occur but the hounding Norrish occurs.
$hypothesis$ = the palatalizing impenetrability does not occur and the favoring happens. ; $context$ = sent1: if the sonography does not occur the prevention does not occur and the palatalizing shipside does not occur. sent2: the Assumption prevents the disposableness. sent3: that the diastole does not occur but the hounding Norrish happens is triggered by that the Transportation does not occur. sent4: if the backwardness does not occur then the fact that not the lecturing esmolol but the sonography happens is not correct. sent5: the Transportation does not occur. sent6: the fact that the sonography does not occur is not wrong if the fact that not the lecturing esmolol but the sonography occurs does not hold. sent7: the flatsness does not occur. sent8: the Transportation does not occur and the palatalizing impenetrability does not occur. sent9: if the palatalizing shipside does not occur then the Transportation does not occur and the snapping does not occur. sent10: the intestateness and the Assumption occurs if the hounding fitted does not occur. sent11: the snapping happens. sent12: both the favor and the snapping occurs. sent13: if the nondisposableness occurs then the backwardness does not occur and the sale does not occur. ; $proof$ = 
sent8 -> int1: the palatalizing impenetrability does not occur.; sent12 -> int2: the favoring happens.; int1 & int2 -> hypothesis; __PROVED__