if the supertwister does not occur then the oblation does not occur.
sent1: the fact that the fact that the uplandness and the non-Cenozoicness occurs is false is true if the commutation occurs. sent2: if the commutation does not occur and the supertwister does not occur then the oblation occurs. sent3: the uplandness occurs. sent4: if that the commutation does not occur and the supertwister does not occur hold then the oblation does not occur. sent5: the uplandness happens if the toasting does not occur. sent6: if the toasting does not occur the uplandness occurs but the Cenozoicness does not occur.
void -> assump2: Let's assume that the commutation occurs.; sent1 & assump2 -> int1: that the uplandness occurs but the Cenozoic does not occur is not correct.;
$hypothesis$ = if the supertwister does not occur then the oblation does not occur. ; $context$ = sent1: the fact that the fact that the uplandness and the non-Cenozoicness occurs is false is true if the commutation occurs. sent2: if the commutation does not occur and the supertwister does not occur then the oblation occurs. sent3: the uplandness occurs. sent4: if that the commutation does not occur and the supertwister does not occur hold then the oblation does not occur. sent5: the uplandness happens if the toasting does not occur. sent6: if the toasting does not occur the uplandness occurs but the Cenozoicness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the commutation occurs.; sent1 & assump2 -> int1: that the uplandness occurs but the Cenozoic does not occur is not correct.; __UNKNOWN__