the jump does not occur.
sent1: the lysogenizing plesiosaur does not occur if the fact that not the rbi but the beatification occurs is wrong. sent2: the amazing happens. sent3: that the besoting mediatrix and the hunter occurs is false. sent4: if the fact that the amazing does not occur is not false the fact that not the besoting catsup but the lysogenizing twill happens is not right. sent5: that the besoting mediatrix does not occur and the hunter occurs is false. sent6: if that not the besoting mediatrix but the hunter occurs is not right the timework does not occur. sent7: if the timework does not occur then both the amazing and the jump occurs. sent8: if that the dancing does not occur but the besoting defeatist occurs is incorrect the aeromedicalness does not occur. sent9: that both the timework and the jumping occurs is wrong if the amazing does not occur.
sent6 & sent5 -> int1: the timework does not occur.; sent7 & int1 -> int2: the amazing happens and the jumping occurs.; int2 -> hypothesis;
the fact that the besoting catsup does not occur and the lysogenizing twill happens is false.
$hypothesis$ = the jump does not occur. ; $context$ = sent1: the lysogenizing plesiosaur does not occur if the fact that not the rbi but the beatification occurs is wrong. sent2: the amazing happens. sent3: that the besoting mediatrix and the hunter occurs is false. sent4: if the fact that the amazing does not occur is not false the fact that not the besoting catsup but the lysogenizing twill happens is not right. sent5: that the besoting mediatrix does not occur and the hunter occurs is false. sent6: if that not the besoting mediatrix but the hunter occurs is not right the timework does not occur. sent7: if the timework does not occur then both the amazing and the jump occurs. sent8: if that the dancing does not occur but the besoting defeatist occurs is incorrect the aeromedicalness does not occur. sent9: that both the timework and the jumping occurs is wrong if the amazing does not occur. ; $proof$ = 
sent6 & sent5 -> int1: the timework does not occur.; sent7 & int1 -> int2: the amazing happens and the jumping occurs.; int2 -> hypothesis; __DISPROVED__