the unscrambling does not occur if the Scandinavianness does not occur.
sent1: the unscrambling does not occur if that the appreciation does not occur and the sliding occurs is not correct. sent2: if the on-the-jobness does not occur the toleration and the autotomicness happens. sent3: that the scorbuticness occurs results in that the non-peronealness and the unscrambling happens. sent4: that the actualizing occurs prevents that the scorbuticness does not occur. sent5: the fact that the neglecting deacon does not occur and the patellarness occurs is not correct if the Scandinavianness happens. sent6: if the toleration happens then the tournament does not occur. sent7: that the peronealness does not occur and/or that the Scandinavianness occurs results in that the Scandinavianness happens. sent8: if the tournament does not occur both the non-odorousness and the actualizing occurs. sent9: if the Scandinavian does not occur then the fact that the appreciation does not occur and the sliding happens does not hold.
void -> assump1: Let's assume that the Scandinavianness does not occur.; sent9 & assump1 -> int1: the fact that not the appreciation but the slide happens is not right.; sent1 & int1 -> int2: the fact that the unscrambling does not occur is true.; [assump1] & int2 -> hypothesis;
the fact that the neglecting deacon does not occur and the patellarness happens is not correct.
$hypothesis$ = the unscrambling does not occur if the Scandinavianness does not occur. ; $context$ = sent1: the unscrambling does not occur if that the appreciation does not occur and the sliding occurs is not correct. sent2: if the on-the-jobness does not occur the toleration and the autotomicness happens. sent3: that the scorbuticness occurs results in that the non-peronealness and the unscrambling happens. sent4: that the actualizing occurs prevents that the scorbuticness does not occur. sent5: the fact that the neglecting deacon does not occur and the patellarness occurs is not correct if the Scandinavianness happens. sent6: if the toleration happens then the tournament does not occur. sent7: that the peronealness does not occur and/or that the Scandinavianness occurs results in that the Scandinavianness happens. sent8: if the tournament does not occur both the non-odorousness and the actualizing occurs. sent9: if the Scandinavian does not occur then the fact that the appreciation does not occur and the sliding happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the Scandinavianness does not occur.; sent9 & assump1 -> int1: the fact that not the appreciation but the slide happens is not right.; sent1 & int1 -> int2: the fact that the unscrambling does not occur is true.; [assump1] & int2 -> hypothesis; __PROVED__