the chertiness does not occur and the cryosurgery does not occur.
sent1: the fumbling chrysotherapy does not occur and the indentation does not occur if the fumbling langsat does not occur. sent2: if the fact that the lockup occurs but the apocalypse does not occur is not correct then the fact that the lockup does not occur is correct. sent3: if the Koranicness does not occur then the minting inch happens. sent4: the binomialness happens. sent5: the slashing happens. sent6: if that the reputableness but not the slicing saffron occurs is not correct then the rummy occurs. sent7: the cockney happens if that the fumbling stubble but not the pleochroicness happens does not hold. sent8: if the slashing does not occur the fact that the chertiness does not occur and the cryosurgery does not occur is not right. sent9: if the fact that the binomial occurs is right then the fact that the reputableness but not the slicing saffron happens is not true. sent10: if the slash does not occur then the fact that the lockup occurs but the apocalypse does not occur is incorrect. sent11: that the slashing and the apocalypse happens prevents that the rummy happens. sent12: if the binomial happens the fact that the reputableness happens and the slicing saffron happens is not true. sent13: if the apocalypse does not occur the chertiness does not occur and the cryosurgery does not occur. sent14: that the rummy does not occur is prevented by the slicing saffron. sent15: that the reputableness and the slicing saffron occurs does not hold. sent16: the chertiness does not occur. sent17: the fact that both the rummy and the apocalypse occurs is wrong if the slicing saffron does not occur.
void -> assump1: Let's assume that the apocalypse happens.; sent5 & assump1 -> int1: the slashing and the apocalypse happens.; int1 & sent11 -> int2: the rummy does not occur.; sent9 & sent4 -> int3: the fact that the reputableness occurs and the slicing saffron does not occur is not true.; sent6 & int3 -> int4: the rummy occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the apocalypse does not occur.; int6 & sent13 -> hypothesis;
the lockup does not occur.
$hypothesis$ = the chertiness does not occur and the cryosurgery does not occur. ; $context$ = sent1: the fumbling chrysotherapy does not occur and the indentation does not occur if the fumbling langsat does not occur. sent2: if the fact that the lockup occurs but the apocalypse does not occur is not correct then the fact that the lockup does not occur is correct. sent3: if the Koranicness does not occur then the minting inch happens. sent4: the binomialness happens. sent5: the slashing happens. sent6: if that the reputableness but not the slicing saffron occurs is not correct then the rummy occurs. sent7: the cockney happens if that the fumbling stubble but not the pleochroicness happens does not hold. sent8: if the slashing does not occur the fact that the chertiness does not occur and the cryosurgery does not occur is not right. sent9: if the fact that the binomial occurs is right then the fact that the reputableness but not the slicing saffron happens is not true. sent10: if the slash does not occur then the fact that the lockup occurs but the apocalypse does not occur is incorrect. sent11: that the slashing and the apocalypse happens prevents that the rummy happens. sent12: if the binomial happens the fact that the reputableness happens and the slicing saffron happens is not true. sent13: if the apocalypse does not occur the chertiness does not occur and the cryosurgery does not occur. sent14: that the rummy does not occur is prevented by the slicing saffron. sent15: that the reputableness and the slicing saffron occurs does not hold. sent16: the chertiness does not occur. sent17: the fact that both the rummy and the apocalypse occurs is wrong if the slicing saffron does not occur. ; $proof$ = 
void -> assump1: Let's assume that the apocalypse happens.; sent5 & assump1 -> int1: the slashing and the apocalypse happens.; int1 & sent11 -> int2: the rummy does not occur.; sent9 & sent4 -> int3: the fact that the reputableness occurs and the slicing saffron does not occur is not true.; sent6 & int3 -> int4: the rummy occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the apocalypse does not occur.; int6 & sent13 -> hypothesis; __PROVED__