that the peronealness happens but the hematopoieticness does not occur is not correct.
sent1: the clearing futurity occurs. sent2: that the peronealness but not the hematopoieticness happens is incorrect if the Timoreseness does not occur. sent3: the March happens. sent4: that the March does not occur is caused by the Timoreseness. sent5: that the indentation does not occur yields that the foiling does not occur and the staging aim does not occur. sent6: if the fact that the Timoreseness occurs and the March does not occur is incorrect then the keylessness happens. sent7: the peronealness happens if that both the non-archipelagicness and the non-peronealness occurs is false. sent8: if the foiling does not occur then the fact that the non-archipelagicness and the non-peronealness occurs is false. sent9: if that the traveling happens and the hematopoieticness occurs is not true the hematopoieticness does not occur.
void -> assump1: Let's assume that the Timorese occurs.; sent4 & assump1 -> int1: the fact that the March does not occur is right.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Timoreseness does not occur.; int3 & sent2 -> hypothesis;
the fact that the keylessness occurs hold.
$hypothesis$ = that the peronealness happens but the hematopoieticness does not occur is not correct. ; $context$ = sent1: the clearing futurity occurs. sent2: that the peronealness but not the hematopoieticness happens is incorrect if the Timoreseness does not occur. sent3: the March happens. sent4: that the March does not occur is caused by the Timoreseness. sent5: that the indentation does not occur yields that the foiling does not occur and the staging aim does not occur. sent6: if the fact that the Timoreseness occurs and the March does not occur is incorrect then the keylessness happens. sent7: the peronealness happens if that both the non-archipelagicness and the non-peronealness occurs is false. sent8: if the foiling does not occur then the fact that the non-archipelagicness and the non-peronealness occurs is false. sent9: if that the traveling happens and the hematopoieticness occurs is not true the hematopoieticness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Timorese occurs.; sent4 & assump1 -> int1: the fact that the March does not occur is right.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Timoreseness does not occur.; int3 & sent2 -> hypothesis; __PROVED__