the payment happens.
sent1: the monocotyledonousness does not occur. sent2: the horseplay happens. sent3: the fact that the implementation occurs and the horseplay happens is not true if the cryonicness does not occur. sent4: the cryonicness does not occur if that the cryonicness happens and the trial occurs is false. sent5: the fact that that the leaping diesel happens and the guggling Contopus does not occur prevents that the payment does not occur hold. sent6: the dangling PWR does not occur and the trial happens if the recessionariness happens. sent7: the anagogicness occurs. sent8: both the guggling Rubicon and the Senegalese happens. sent9: if that the cryonicness does not occur is right then the horseplay does not occur and the implementation occurs. sent10: that the horseplay does not occur yields that the guggling Contopus and the payment occurs. sent11: that the myrmecophyticness happens and the idiolatry occurs is brought about by that the crackle does not occur. sent12: the predestining pabulum happens. sent13: the dangling schistosome occurs. sent14: the fact that both the recessionariness and the dangling PWR happens is not correct if the demonstrative does not occur. sent15: if the dangling Tyler does not occur then the predestining pabulum occurs but the dangling Lubeck does not occur. sent16: that the cryonicness occurs is prevented by that not the dangling PWR but the trial happens. sent17: if the implementation does not occur then the leaping diesel happens and the horseplay happens. sent18: that the guggling Contopus does not occur is caused by that the predestining pabulum occurs and the dangling Tyler occurs. sent19: the pneumonicness occurs. sent20: if the dangling PWR does not occur then the fact that both the cryonicness and the trial occurs does not hold. sent21: if the predestining pabulum does not occur but the dangling Tyler occurs the payment does not occur. sent22: both the leaping diesel and the guggling Contopus happens if that the horseplay does not occur hold. sent23: the implementation does not occur.
sent17 & sent23 -> int1: both the leaping diesel and the horseplay happens.; int1 -> int2: the leaping diesel happens.;
the dangling Lubeck does not occur.
$hypothesis$ = the payment happens. ; $context$ = sent1: the monocotyledonousness does not occur. sent2: the horseplay happens. sent3: the fact that the implementation occurs and the horseplay happens is not true if the cryonicness does not occur. sent4: the cryonicness does not occur if that the cryonicness happens and the trial occurs is false. sent5: the fact that that the leaping diesel happens and the guggling Contopus does not occur prevents that the payment does not occur hold. sent6: the dangling PWR does not occur and the trial happens if the recessionariness happens. sent7: the anagogicness occurs. sent8: both the guggling Rubicon and the Senegalese happens. sent9: if that the cryonicness does not occur is right then the horseplay does not occur and the implementation occurs. sent10: that the horseplay does not occur yields that the guggling Contopus and the payment occurs. sent11: that the myrmecophyticness happens and the idiolatry occurs is brought about by that the crackle does not occur. sent12: the predestining pabulum happens. sent13: the dangling schistosome occurs. sent14: the fact that both the recessionariness and the dangling PWR happens is not correct if the demonstrative does not occur. sent15: if the dangling Tyler does not occur then the predestining pabulum occurs but the dangling Lubeck does not occur. sent16: that the cryonicness occurs is prevented by that not the dangling PWR but the trial happens. sent17: if the implementation does not occur then the leaping diesel happens and the horseplay happens. sent18: that the guggling Contopus does not occur is caused by that the predestining pabulum occurs and the dangling Tyler occurs. sent19: the pneumonicness occurs. sent20: if the dangling PWR does not occur then the fact that both the cryonicness and the trial occurs does not hold. sent21: if the predestining pabulum does not occur but the dangling Tyler occurs the payment does not occur. sent22: both the leaping diesel and the guggling Contopus happens if that the horseplay does not occur hold. sent23: the implementation does not occur. ; $proof$ = 
sent17 & sent23 -> int1: both the leaping diesel and the horseplay happens.; int1 -> int2: the leaping diesel happens.; __UNKNOWN__