the disclaimer happens.
sent1: if the antiseptic does not occur not the disclaimer but the menstruating occurs. sent2: if the Tudor does not occur that the Teutonicness and the downing Pediculus occurs is incorrect. sent3: if the rejuvenation occurs then the disclaimer occurs. sent4: if the menstruating happens then the RF happens. sent5: the cybercrime does not occur if that the cybercrime occurs and the unintrusiveness happens is false. sent6: that the hoodooing Dahna does not occur is triggered by that the RF occurs and the photosensitizing looted occurs. sent7: both the menstruating and the antisepticness happens. sent8: the hyperbolicness does not occur if the hoodooing heteronym does not occur. sent9: the rejuvenation occurs if the hoodooing Dahna does not occur. sent10: if the fact that both the Teutonicness and the downing Pediculus happens is not correct the downing Pediculus does not occur. sent11: the aniseikonicness happens and the hoodooing Zephaniah occurs if the cybercrime does not occur. sent12: the aniseikonicness brings about that the hoodooing Dahna does not occur and the rejuvenation does not occur. sent13: if that the downing Rhamnus and the Proustianness occurs is wrong then the Tudorness does not occur. sent14: the hoodooing heteronym does not occur if the fact that the hoodooing heteronym occurs and the stylelessness does not occur is not true. sent15: if the downing Pediculus does not occur then that that the cybercrime and the unintrusiveness occurs is not true is true. sent16: the Tudor occurs. sent17: if the hyperbolicness does not occur then that the downing Rhamnus and the Proustianness happens is false. sent18: the fact that the antisepticness occurs is not wrong.
sent7 -> int1: the menstruating occurs.; int1 & sent4 -> int2: the RF happens.;
the disclaimer does not occur.
$hypothesis$ = the disclaimer happens. ; $context$ = sent1: if the antiseptic does not occur not the disclaimer but the menstruating occurs. sent2: if the Tudor does not occur that the Teutonicness and the downing Pediculus occurs is incorrect. sent3: if the rejuvenation occurs then the disclaimer occurs. sent4: if the menstruating happens then the RF happens. sent5: the cybercrime does not occur if that the cybercrime occurs and the unintrusiveness happens is false. sent6: that the hoodooing Dahna does not occur is triggered by that the RF occurs and the photosensitizing looted occurs. sent7: both the menstruating and the antisepticness happens. sent8: the hyperbolicness does not occur if the hoodooing heteronym does not occur. sent9: the rejuvenation occurs if the hoodooing Dahna does not occur. sent10: if the fact that both the Teutonicness and the downing Pediculus happens is not correct the downing Pediculus does not occur. sent11: the aniseikonicness happens and the hoodooing Zephaniah occurs if the cybercrime does not occur. sent12: the aniseikonicness brings about that the hoodooing Dahna does not occur and the rejuvenation does not occur. sent13: if that the downing Rhamnus and the Proustianness occurs is wrong then the Tudorness does not occur. sent14: the hoodooing heteronym does not occur if the fact that the hoodooing heteronym occurs and the stylelessness does not occur is not true. sent15: if the downing Pediculus does not occur then that that the cybercrime and the unintrusiveness occurs is not true is true. sent16: the Tudor occurs. sent17: if the hyperbolicness does not occur then that the downing Rhamnus and the Proustianness happens is false. sent18: the fact that the antisepticness occurs is not wrong. ; $proof$ = 
sent7 -> int1: the menstruating occurs.; int1 & sent4 -> int2: the RF happens.; __UNKNOWN__