that the run-up happens and the ninjutsu does not occur does not hold.
sent1: the development does not occur. sent2: the constipation happens. sent3: that the prematureness happens is triggered by that both the non-vibrationalness and the sampling Downing occurs. sent4: the clouding packer occurs if the albiticness occurs. sent5: the vulgarization happens if the sampling Kigali occurs. sent6: if the craze but not the curatorialness happens then the concordance happens. sent7: the fact that both the infanticide and the non-Ismailiness happens is false if the sampling Astragalus does not occur. sent8: the sampling rabbet happens. sent9: if that the revue does not occur or the inflating belted does not occur or both is not true the run-up occurs. sent10: the circumcision happens. sent11: the notice happens. sent12: the craze but not the curatorialness occurs. sent13: the abdominalness or the albiticness or both happens. sent14: the harmonic occurs. sent15: the ninjutsu does not occur if both the development and the concordance occurs. sent16: that the vulgarization occurs and the harmonicness occurs yields that the sampling elongation does not occur. sent17: the eyeful occurs. sent18: the fact that both the run-up and the ninjutsu occurs is incorrect if the sampling elongation does not occur. sent19: that the clouding packer but not the clouding cannulation happens results in the sampling elongation. sent20: the non-admissibleness and the suffixation occurs. sent21: that the sampling Kigali does not occur is prevented by that the development does not occur but the concordance happens. sent22: the fact that the run-up occurs but the ninjutsu does not occur is incorrect if the sampling elongation does not occur. sent23: that the run-up happens and the ninjutsu happens is not correct. sent24: that the clouding packer does not occur is prevented by the abdominal. sent25: if the unitization does not occur that the roasting occurs but the puncturelessness does not occur is wrong. sent26: the crazing happens.
sent6 & sent12 -> int1: the concordance happens.; int1 & sent1 -> int2: the fact that the development does not occur but the concordance happens is not wrong.; int2 & sent21 -> int3: the sampling Kigali occurs.; int3 & sent5 -> int4: the fact that the fact that the vulgarization does not occur is right is not true.; int4 & sent14 -> int5: both the vulgarization and the harmonic occurs.; int5 & sent16 -> int6: the sampling elongation does not occur.; int6 & sent22 -> hypothesis;
the run-up occurs but the ninjutsu does not occur.
sent13 & sent24 & sent4 -> int7: the clouding packer occurs.;
$hypothesis$ = that the run-up happens and the ninjutsu does not occur does not hold. ; $context$ = sent1: the development does not occur. sent2: the constipation happens. sent3: that the prematureness happens is triggered by that both the non-vibrationalness and the sampling Downing occurs. sent4: the clouding packer occurs if the albiticness occurs. sent5: the vulgarization happens if the sampling Kigali occurs. sent6: if the craze but not the curatorialness happens then the concordance happens. sent7: the fact that both the infanticide and the non-Ismailiness happens is false if the sampling Astragalus does not occur. sent8: the sampling rabbet happens. sent9: if that the revue does not occur or the inflating belted does not occur or both is not true the run-up occurs. sent10: the circumcision happens. sent11: the notice happens. sent12: the craze but not the curatorialness occurs. sent13: the abdominalness or the albiticness or both happens. sent14: the harmonic occurs. sent15: the ninjutsu does not occur if both the development and the concordance occurs. sent16: that the vulgarization occurs and the harmonicness occurs yields that the sampling elongation does not occur. sent17: the eyeful occurs. sent18: the fact that both the run-up and the ninjutsu occurs is incorrect if the sampling elongation does not occur. sent19: that the clouding packer but not the clouding cannulation happens results in the sampling elongation. sent20: the non-admissibleness and the suffixation occurs. sent21: that the sampling Kigali does not occur is prevented by that the development does not occur but the concordance happens. sent22: the fact that the run-up occurs but the ninjutsu does not occur is incorrect if the sampling elongation does not occur. sent23: that the run-up happens and the ninjutsu happens is not correct. sent24: that the clouding packer does not occur is prevented by the abdominal. sent25: if the unitization does not occur that the roasting occurs but the puncturelessness does not occur is wrong. sent26: the crazing happens. ; $proof$ = 
sent6 & sent12 -> int1: the concordance happens.; int1 & sent1 -> int2: the fact that the development does not occur but the concordance happens is not wrong.; int2 & sent21 -> int3: the sampling Kigali occurs.; int3 & sent5 -> int4: the fact that the fact that the vulgarization does not occur is right is not true.; int4 & sent14 -> int5: both the vulgarization and the harmonic occurs.; int5 & sent16 -> int6: the sampling elongation does not occur.; int6 & sent22 -> hypothesis; __PROVED__