the Snow does not occur.
sent1: if the fact that the damnation does not occur and the hero does not occur does not hold then the migrating occurs. sent2: the sledding happens. sent3: the rustle does not occur and the vasectomy does not occur. sent4: the deveining grandstand does not occur and the unhealthfulness does not occur. sent5: the sequestering occurs if both the non-sedimentariness and the non-hypotonicness occurs. sent6: that both the watching Wiesbaden and the deveining navigator happens is triggered by that the carposporicness does not occur. sent7: the watching colostomy does not occur. sent8: the subordinating occurs. sent9: the aeroliticness occurs. sent10: that the systolicness happens and the watching blustering does not occur does not hold. sent11: if that both the non-sedimentariness and the non-hypotonicness happens is false the rustling occurs. sent12: the curiousness does not occur and the cramming palisade does not occur. sent13: the pod happens if the watching Wiesbaden occurs. sent14: the watching vambrace does not occur. sent15: if the sequestering and the pod happens the Snow does not occur. sent16: the fact that the carposporicness but not the watching riboflavin happens is incorrect.
void -> assump1: Let's assume that the fact that both the non-sedimentariness and the non-hypotonicness occurs does not hold.; sent11 & assump1 -> int1: the rustling happens.; sent3 -> int2: the fact that the rustling does not occur hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: both the non-sedimentariness and the non-hypotonicness happens.; int4 & sent5 -> int5: the sequestering occurs.;
$hypothesis$ = the Snow does not occur. ; $context$ = sent1: if the fact that the damnation does not occur and the hero does not occur does not hold then the migrating occurs. sent2: the sledding happens. sent3: the rustle does not occur and the vasectomy does not occur. sent4: the deveining grandstand does not occur and the unhealthfulness does not occur. sent5: the sequestering occurs if both the non-sedimentariness and the non-hypotonicness occurs. sent6: that both the watching Wiesbaden and the deveining navigator happens is triggered by that the carposporicness does not occur. sent7: the watching colostomy does not occur. sent8: the subordinating occurs. sent9: the aeroliticness occurs. sent10: that the systolicness happens and the watching blustering does not occur does not hold. sent11: if that both the non-sedimentariness and the non-hypotonicness happens is false the rustling occurs. sent12: the curiousness does not occur and the cramming palisade does not occur. sent13: the pod happens if the watching Wiesbaden occurs. sent14: the watching vambrace does not occur. sent15: if the sequestering and the pod happens the Snow does not occur. sent16: the fact that the carposporicness but not the watching riboflavin happens is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the fact that both the non-sedimentariness and the non-hypotonicness occurs does not hold.; sent11 & assump1 -> int1: the rustling happens.; sent3 -> int2: the fact that the rustling does not occur hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: both the non-sedimentariness and the non-hypotonicness happens.; int4 & sent5 -> int5: the sequestering occurs.; __UNKNOWN__