the arming but not the swindle happens.
sent1: the excreting happens if the perseverating clamber does not occur. sent2: the fare happens. sent3: the clip does not occur. sent4: that the enterostomy happens is not wrong. sent5: the stearicness occurs. sent6: that the swindle does not occur is caused by that both the impeding lido and the diffraction occurs. sent7: the offshoreness occurs. sent8: the fact that the diffraction occurs hold. sent9: the perseverating sallowness does not occur. sent10: the perseverating Rubus occurs. sent11: if the fact that the perseverating hypophysectomy occurs but the perseverating clamber does not occur is wrong then the excreting happens. sent12: the fact that the arming but not the swindle occurs does not hold if the impeding lido does not occur. sent13: that the departmentalness does not occur is not incorrect. sent14: the fact that the perseverating clamber does not occur is not incorrect. sent15: the impeding lido happens. sent16: if the perseverating clamber does not occur the excreting occurs and the arming happens. sent17: the excreting occurs. sent18: the pictorial does not occur.
sent15 & sent8 -> int1: the impeding lido and the diffraction happens.; int1 & sent6 -> int2: the swindle does not occur.; sent16 & sent14 -> int3: the excreting happens and the arming happens.; int3 -> int4: the arming occurs.; int2 & int4 -> hypothesis;
the fact that the arming happens but the swindle does not occur is false.
$hypothesis$ = the arming but not the swindle happens. ; $context$ = sent1: the excreting happens if the perseverating clamber does not occur. sent2: the fare happens. sent3: the clip does not occur. sent4: that the enterostomy happens is not wrong. sent5: the stearicness occurs. sent6: that the swindle does not occur is caused by that both the impeding lido and the diffraction occurs. sent7: the offshoreness occurs. sent8: the fact that the diffraction occurs hold. sent9: the perseverating sallowness does not occur. sent10: the perseverating Rubus occurs. sent11: if the fact that the perseverating hypophysectomy occurs but the perseverating clamber does not occur is wrong then the excreting happens. sent12: the fact that the arming but not the swindle occurs does not hold if the impeding lido does not occur. sent13: that the departmentalness does not occur is not incorrect. sent14: the fact that the perseverating clamber does not occur is not incorrect. sent15: the impeding lido happens. sent16: if the perseverating clamber does not occur the excreting occurs and the arming happens. sent17: the excreting occurs. sent18: the pictorial does not occur. ; $proof$ = 
sent15 & sent8 -> int1: the impeding lido and the diffraction happens.; int1 & sent6 -> int2: the swindle does not occur.; sent16 & sent14 -> int3: the excreting happens and the arming happens.; int3 -> int4: the arming occurs.; int2 & int4 -> hypothesis; __PROVED__