the lunching Saladin does not occur.
sent1: either the degradation occurs or the iridectomy happens or both if the Simonizing Kinshasa does not occur. sent2: if the irruption does not occur then the reassembly occurs and the tryst happens. sent3: the karate occurs if the phrenologicalness happens. sent4: that the misdemeanor occurs and the karate occurs leads to that the lunching Saladin does not occur. sent5: the fact that both the nonharmonicness and the phrenologicalness occurs is not true if the karate does not occur. sent6: the fact that the elongation does not occur but the Simonizing Kinshasa happens is wrong if the tryst occurs. sent7: if that not the elongation but the Simonizing Kinshasa occurs does not hold the Simonizing Kinshasa does not occur. sent8: the unintelligibleness occurs and the Simonizing forfeit happens. sent9: if the degradation happens the practicalness occurs. sent10: the paganizing refutation does not occur. sent11: either the heating metalware does not occur or the gaseousness does not occur or both. sent12: the fact that the Simonizing forfeit occurs and the paganizing refutation occurs is false if the nonharmonicness does not occur. sent13: that the heating metalware does not occur and/or the non-gaseousness causes that the irruption does not occur. sent14: the practicalness results in that not the birling but the clanging occurs. sent15: that the lunching Saladin happens and the unintelligibleness occurs is brought about by that the Simonizing forfeit does not occur. sent16: that the birling does not occur results in that the karate does not occur and the misdemeanor does not occur. sent17: the paganizing refutation does not occur and the nonharmonicness does not occur if the unintelligibleness happens. sent18: if the paganizing refutation does not occur and the nonharmonicness does not occur the phrenologicalness occurs.
sent8 -> int1: the unintelligibleness happens.; int1 & sent17 -> int2: the paganizing refutation does not occur and the nonharmonicness does not occur.; int2 & sent18 -> int3: the phrenologicalness occurs.; int3 & sent3 -> int4: the karate occurs.;
the lunching Saladin occurs.
sent13 & sent11 -> int5: the irruption does not occur.; sent2 & int5 -> int6: the reassembly and the tryst happens.; int6 -> int7: the tryst occurs.; sent6 & int7 -> int8: the fact that the fact that the elongation does not occur but the Simonizing Kinshasa occurs is incorrect is not false.; sent7 & int8 -> int9: the Simonizing Kinshasa does not occur.; sent1 & int9 -> int10: either the degradation or the iridectomy or both occurs.;
$hypothesis$ = the lunching Saladin does not occur. ; $context$ = sent1: either the degradation occurs or the iridectomy happens or both if the Simonizing Kinshasa does not occur. sent2: if the irruption does not occur then the reassembly occurs and the tryst happens. sent3: the karate occurs if the phrenologicalness happens. sent4: that the misdemeanor occurs and the karate occurs leads to that the lunching Saladin does not occur. sent5: the fact that both the nonharmonicness and the phrenologicalness occurs is not true if the karate does not occur. sent6: the fact that the elongation does not occur but the Simonizing Kinshasa happens is wrong if the tryst occurs. sent7: if that not the elongation but the Simonizing Kinshasa occurs does not hold the Simonizing Kinshasa does not occur. sent8: the unintelligibleness occurs and the Simonizing forfeit happens. sent9: if the degradation happens the practicalness occurs. sent10: the paganizing refutation does not occur. sent11: either the heating metalware does not occur or the gaseousness does not occur or both. sent12: the fact that the Simonizing forfeit occurs and the paganizing refutation occurs is false if the nonharmonicness does not occur. sent13: that the heating metalware does not occur and/or the non-gaseousness causes that the irruption does not occur. sent14: the practicalness results in that not the birling but the clanging occurs. sent15: that the lunching Saladin happens and the unintelligibleness occurs is brought about by that the Simonizing forfeit does not occur. sent16: that the birling does not occur results in that the karate does not occur and the misdemeanor does not occur. sent17: the paganizing refutation does not occur and the nonharmonicness does not occur if the unintelligibleness happens. sent18: if the paganizing refutation does not occur and the nonharmonicness does not occur the phrenologicalness occurs. ; $proof$ = 
sent8 -> int1: the unintelligibleness happens.; int1 & sent17 -> int2: the paganizing refutation does not occur and the nonharmonicness does not occur.; int2 & sent18 -> int3: the phrenologicalness occurs.; int3 & sent3 -> int4: the karate occurs.; __UNKNOWN__