the Wave does not occur.
sent1: the deticking asymmetry does not occur. sent2: the preferment does not occur. sent3: if the pilgrimage happens the noneffervescentness happens. sent4: the fact that both the preferment and the deticking hatted occurs does not hold. sent5: the Wave does not occur if the noneffervescentness occurs. sent6: not the preferment but the deticking hatted occurs. sent7: if the deticking exploitation does not occur then the fact that the thaw does not occur and the summarizing mentalism occurs is not correct. sent8: the fact that not the preferment but the deticking hatted happens does not hold if the Wave does not occur. sent9: the fact that the objective does not occur but the offsetting oyster-fish happens is incorrect. sent10: that the preferment occurs and the deticking hatted happens does not hold if the Wave does not occur.
void -> assump1: Let's assume that the Wave does not occur.; sent8 & assump1 -> int1: that not the preferment but the deticking hatted occurs is false.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the Wave does not occur.
$hypothesis$ = the Wave does not occur. ; $context$ = sent1: the deticking asymmetry does not occur. sent2: the preferment does not occur. sent3: if the pilgrimage happens the noneffervescentness happens. sent4: the fact that both the preferment and the deticking hatted occurs does not hold. sent5: the Wave does not occur if the noneffervescentness occurs. sent6: not the preferment but the deticking hatted occurs. sent7: if the deticking exploitation does not occur then the fact that the thaw does not occur and the summarizing mentalism occurs is not correct. sent8: the fact that not the preferment but the deticking hatted happens does not hold if the Wave does not occur. sent9: the fact that the objective does not occur but the offsetting oyster-fish happens is incorrect. sent10: that the preferment occurs and the deticking hatted happens does not hold if the Wave does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Wave does not occur.; sent8 & assump1 -> int1: that not the preferment but the deticking hatted occurs is false.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__