the fumbling happens.
sent1: the fact that the fumble does not occur is right if not the affiliating but the untraceableness occurs. sent2: the griping snipefish happens. sent3: that the affiliating does not occur is prevented by that the untraceableness occurs. sent4: the proctoscopy happens. sent5: the dramaturgicness occurs. sent6: if that the rubbing does not occur hold the fact that not the vulpineness but the archidiaconalness occurs is wrong. sent7: that the archidiaconalness does not occur if the fact that both the non-vulpineness and the archidiaconalness occurs is not correct is correct. sent8: that not the archidiaconalness but the intrusiveness happens is incorrect if the rubbing does not occur. sent9: if the angioplasty occurs then the bargaining repatriate happens. sent10: the untraceableness happens. sent11: the atonalisticness yields the caricaturing procarbazine. sent12: the assembling happens if the shuddering happens. sent13: that the fumble happens is caused by that the contrail occurs. sent14: the Stravinskyanness happens. sent15: the contrail is triggered by the affiliate. sent16: the fact that the affiliate occurs but the untraceableness does not occur does not hold if the contrail does not occur. sent17: the seaquake occurs if the griping demonstrativeness occurs. sent18: if that the archidiaconalness does not occur is correct the contrail does not occur and the intrusiveness does not occur.
sent3 & sent10 -> int1: the fact that the affiliate happens is not incorrect.; int1 & sent15 -> int2: the contrail happens.; int2 & sent13 -> hypothesis;
the fumbling does not occur.
$hypothesis$ = the fumbling happens. ; $context$ = sent1: the fact that the fumble does not occur is right if not the affiliating but the untraceableness occurs. sent2: the griping snipefish happens. sent3: that the affiliating does not occur is prevented by that the untraceableness occurs. sent4: the proctoscopy happens. sent5: the dramaturgicness occurs. sent6: if that the rubbing does not occur hold the fact that not the vulpineness but the archidiaconalness occurs is wrong. sent7: that the archidiaconalness does not occur if the fact that both the non-vulpineness and the archidiaconalness occurs is not correct is correct. sent8: that not the archidiaconalness but the intrusiveness happens is incorrect if the rubbing does not occur. sent9: if the angioplasty occurs then the bargaining repatriate happens. sent10: the untraceableness happens. sent11: the atonalisticness yields the caricaturing procarbazine. sent12: the assembling happens if the shuddering happens. sent13: that the fumble happens is caused by that the contrail occurs. sent14: the Stravinskyanness happens. sent15: the contrail is triggered by the affiliate. sent16: the fact that the affiliate occurs but the untraceableness does not occur does not hold if the contrail does not occur. sent17: the seaquake occurs if the griping demonstrativeness occurs. sent18: if that the archidiaconalness does not occur is correct the contrail does not occur and the intrusiveness does not occur. ; $proof$ = 
sent3 & sent10 -> int1: the fact that the affiliate happens is not incorrect.; int1 & sent15 -> int2: the contrail happens.; int2 & sent13 -> hypothesis; __PROVED__