the bonfire occurs and the trepaning Lima does not occur.
sent1: the helpfulness does not occur. sent2: if that the jamming Necturus does not occur but the metric happens is not true the metric does not occur. sent3: the dithyrambicness and the heraldicness happens. sent4: if the membranousness happens that the bonfire happens and the trepaning Lima does not occur is not right. sent5: the fact that the Aether occurs hold if the rigmarole does not occur. sent6: the operativeness and the spitter happens. sent7: the membranousness does not occur. sent8: if the spitter does not occur the trepaning Lima and the bonfire occurs. sent9: that the rigmarole happens is prevented by that the membranousness does not occur. sent10: if the metric does not occur then the fact that both the operativeness and the spitter occurs is not right. sent11: if the jamming Necturus does not occur or the turning occurs or both the jamming Necturus does not occur. sent12: the turning happens. sent13: the promising rhubarb happens if the Aether occurs. sent14: if the promising rhubarb occurs the rhinoscopy occurs. sent15: if the rigmarole does not occur and the membranousness does not occur then the jamming bluing occurs. sent16: if both the rhinoscopy and the operative occurs then the trepaning Lima does not occur. sent17: if the operativeness does not occur that the promising rhubarb but not the rhinoscopy occurs is false. sent18: that the promising chrysotile occurs is not wrong. sent19: that the rappeling does not occur results in that the bonfire occurs and the metricness occurs. sent20: if the jamming Necturus does not occur that the metric does not occur and the rappel does not occur is incorrect.
sent9 & sent7 -> int1: the rigmarole does not occur.; int1 & sent5 -> int2: the Aether occurs.; int2 & sent13 -> int3: the promising rhubarb happens.; int3 & sent14 -> int4: the rhinoscopy occurs.; sent6 -> int5: that the operative happens is correct.; int4 & int5 -> int6: the rhinoscopy occurs and the operative occurs.; int6 & sent16 -> int7: the trepaning Lima does not occur.;
the jamming bluing occurs.
sent12 -> int8: the jamming Necturus does not occur and/or the turning happens.; sent11 & int8 -> int9: the jamming Necturus does not occur.; sent20 & int9 -> int10: the fact that the metric does not occur and the rappel does not occur is not true.;
$hypothesis$ = the bonfire occurs and the trepaning Lima does not occur. ; $context$ = sent1: the helpfulness does not occur. sent2: if that the jamming Necturus does not occur but the metric happens is not true the metric does not occur. sent3: the dithyrambicness and the heraldicness happens. sent4: if the membranousness happens that the bonfire happens and the trepaning Lima does not occur is not right. sent5: the fact that the Aether occurs hold if the rigmarole does not occur. sent6: the operativeness and the spitter happens. sent7: the membranousness does not occur. sent8: if the spitter does not occur the trepaning Lima and the bonfire occurs. sent9: that the rigmarole happens is prevented by that the membranousness does not occur. sent10: if the metric does not occur then the fact that both the operativeness and the spitter occurs is not right. sent11: if the jamming Necturus does not occur or the turning occurs or both the jamming Necturus does not occur. sent12: the turning happens. sent13: the promising rhubarb happens if the Aether occurs. sent14: if the promising rhubarb occurs the rhinoscopy occurs. sent15: if the rigmarole does not occur and the membranousness does not occur then the jamming bluing occurs. sent16: if both the rhinoscopy and the operative occurs then the trepaning Lima does not occur. sent17: if the operativeness does not occur that the promising rhubarb but not the rhinoscopy occurs is false. sent18: that the promising chrysotile occurs is not wrong. sent19: that the rappeling does not occur results in that the bonfire occurs and the metricness occurs. sent20: if the jamming Necturus does not occur that the metric does not occur and the rappel does not occur is incorrect. ; $proof$ = 
sent9 & sent7 -> int1: the rigmarole does not occur.; int1 & sent5 -> int2: the Aether occurs.; int2 & sent13 -> int3: the promising rhubarb happens.; int3 & sent14 -> int4: the rhinoscopy occurs.; sent6 -> int5: that the operative happens is correct.; int4 & int5 -> int6: the rhinoscopy occurs and the operative occurs.; int6 & sent16 -> int7: the trepaning Lima does not occur.; __UNKNOWN__