the zoning streptolysin happens and the corresponding limonite does not occur.
sent1: if that the strangulating but not the avoiding urochord happens is wrong then the subarcticness does not occur. sent2: the extroversiveness does not occur and/or the dirtying does not occur if the avoiding fortieth does not occur. sent3: the extroversiveness does not occur if the extroversivenessness and/or the non-dirtyness happens. sent4: that the strangulating happens but the avoiding urochord does not occur does not hold if the epentheticness does not occur. sent5: the avoiding fortieth occurs. sent6: if the dirtiness does not occur then the avoiding fortieth occurs. sent7: if the avoiding fortieth does not occur then that the zoning streptolysin but not the corresponding limonite occurs is wrong. sent8: the zoning streptolysin happens if the campaigning happens. sent9: that the jihad happens and the gestating does not occur is incorrect. sent10: the fact that the campaign occurs and the corresponding contents occurs is not right if the Albanianness does not occur. sent11: the joyriding and the non-directedness happens if the subarcticness does not occur. sent12: that the campaign happens is not false. sent13: if that the campaigning and the corresponding contents happens is not right then the campaigning does not occur. sent14: the dirtying does not occur if that that the jihad does not occur and the gestating does not occur is right does not hold. sent15: the Albanianness is prevented by that the joyriding occurs but the directedness does not occur. sent16: the fact that the jihad does not occur and the gestating does not occur is not right. sent17: that the clambering does not occur and the dirtying does not occur is caused by that the campaigning does not occur. sent18: if the dirtying does not occur then the avoiding fortieth but not the clambering happens. sent19: the fact that the jihad does not occur but the gestating occurs does not hold.
sent14 & sent16 -> int1: that the dirtying happens does not hold.; int1 & sent18 -> int2: the avoiding fortieth happens and the clambering does not occur.; sent8 & sent12 -> int3: the zoning streptolysin happens.;
that the zoning streptolysin happens and the corresponding limonite does not occur is false.
$hypothesis$ = the zoning streptolysin happens and the corresponding limonite does not occur. ; $context$ = sent1: if that the strangulating but not the avoiding urochord happens is wrong then the subarcticness does not occur. sent2: the extroversiveness does not occur and/or the dirtying does not occur if the avoiding fortieth does not occur. sent3: the extroversiveness does not occur if the extroversivenessness and/or the non-dirtyness happens. sent4: that the strangulating happens but the avoiding urochord does not occur does not hold if the epentheticness does not occur. sent5: the avoiding fortieth occurs. sent6: if the dirtiness does not occur then the avoiding fortieth occurs. sent7: if the avoiding fortieth does not occur then that the zoning streptolysin but not the corresponding limonite occurs is wrong. sent8: the zoning streptolysin happens if the campaigning happens. sent9: that the jihad happens and the gestating does not occur is incorrect. sent10: the fact that the campaign occurs and the corresponding contents occurs is not right if the Albanianness does not occur. sent11: the joyriding and the non-directedness happens if the subarcticness does not occur. sent12: that the campaign happens is not false. sent13: if that the campaigning and the corresponding contents happens is not right then the campaigning does not occur. sent14: the dirtying does not occur if that that the jihad does not occur and the gestating does not occur is right does not hold. sent15: the Albanianness is prevented by that the joyriding occurs but the directedness does not occur. sent16: the fact that the jihad does not occur and the gestating does not occur is not right. sent17: that the clambering does not occur and the dirtying does not occur is caused by that the campaigning does not occur. sent18: if the dirtying does not occur then the avoiding fortieth but not the clambering happens. sent19: the fact that the jihad does not occur but the gestating occurs does not hold. ; $proof$ = 
sent14 & sent16 -> int1: that the dirtying happens does not hold.; int1 & sent18 -> int2: the avoiding fortieth happens and the clambering does not occur.; sent8 & sent12 -> int3: the zoning streptolysin happens.; __UNKNOWN__