the thermocautery does not occur.
sent1: either the rice does not occur or the consorting bimester occurs or both. sent2: that either the rice does not occur or the consorting bimester does not occur or both brings about that the thermocautery does not occur. sent3: the defecting does not occur if the jockeying Siberian happens. sent4: either the gutsiness or the absconding or both occurs. sent5: the ignobleness does not occur and/or the cornering does not occur. sent6: that the clanking deipnosophist does not occur and the quickie does not occur prevents that the paying occurs. sent7: the layer does not occur and the cahoot does not occur if the defect occurs. sent8: the clanking deipnosophist does not occur and the quickie does not occur. sent9: that the ricing does not occur is triggered by that the paying does not occur and the defect does not occur. sent10: that the consorting bimester does not occur leads to that the defecting happens and the ricing happens. sent11: the fact that the paying happens and the thermocautery does not occur is incorrect if the defect happens. sent12: that the nonadsorbentness does not occur is triggered by the non-mioticness and/or that the triage does not occur. sent13: that the jockeying Siberian and the neuralness happens is brought about by that the productiveness does not occur. sent14: that the defect does not occur is caused by the uranoplasty. sent15: the consorting googly does not occur. sent16: the uranoplasty and/or the jockeying Siberian happens. sent17: if the clanking deipnosophist occurs and the quickie does not occur the paying does not occur. sent18: that the spreading does not occur is brought about by that the travestying blurred and the non-absorbableness occurs.
sent6 & sent8 -> int1: the paying does not occur.; sent16 & sent14 & sent3 -> int2: the defect does not occur.; int1 & int2 -> int3: the paying does not occur and the defecting does not occur.; int3 & sent9 -> int4: the ricing does not occur.; int4 -> int5: either the ricing does not occur or the consorting bimester does not occur or both.; int5 & sent2 -> hypothesis;
the thermocautery occurs.
$hypothesis$ = the thermocautery does not occur. ; $context$ = sent1: either the rice does not occur or the consorting bimester occurs or both. sent2: that either the rice does not occur or the consorting bimester does not occur or both brings about that the thermocautery does not occur. sent3: the defecting does not occur if the jockeying Siberian happens. sent4: either the gutsiness or the absconding or both occurs. sent5: the ignobleness does not occur and/or the cornering does not occur. sent6: that the clanking deipnosophist does not occur and the quickie does not occur prevents that the paying occurs. sent7: the layer does not occur and the cahoot does not occur if the defect occurs. sent8: the clanking deipnosophist does not occur and the quickie does not occur. sent9: that the ricing does not occur is triggered by that the paying does not occur and the defect does not occur. sent10: that the consorting bimester does not occur leads to that the defecting happens and the ricing happens. sent11: the fact that the paying happens and the thermocautery does not occur is incorrect if the defect happens. sent12: that the nonadsorbentness does not occur is triggered by the non-mioticness and/or that the triage does not occur. sent13: that the jockeying Siberian and the neuralness happens is brought about by that the productiveness does not occur. sent14: that the defect does not occur is caused by the uranoplasty. sent15: the consorting googly does not occur. sent16: the uranoplasty and/or the jockeying Siberian happens. sent17: if the clanking deipnosophist occurs and the quickie does not occur the paying does not occur. sent18: that the spreading does not occur is brought about by that the travestying blurred and the non-absorbableness occurs. ; $proof$ = 
sent6 & sent8 -> int1: the paying does not occur.; sent16 & sent14 & sent3 -> int2: the defect does not occur.; int1 & int2 -> int3: the paying does not occur and the defecting does not occur.; int3 & sent9 -> int4: the ricing does not occur.; int4 -> int5: either the ricing does not occur or the consorting bimester does not occur or both.; int5 & sent2 -> hypothesis; __PROVED__