that the Nilotic does not occur and the whooshing does not occur is not true.
sent1: if that the taxation but not the sculpturalness occurs is incorrect then the languishing does not occur. sent2: if the expulsion happens then that the taxation but not the sculpturalness happens is not true. sent3: the sculpturalness does not occur if that the Nilotic does not occur and the whooshing does not occur is incorrect. sent4: the taxation and the sculpturalness occurs. sent5: the Niloticness does not occur. sent6: that the Niloticness but not the whooshing occurs is not right. sent7: the sculpturalness does not occur if the Niloticness occurs. sent8: if the fact that the yaws does not occur is not wrong the expulsion and the overrunning enumerator happens.
void -> assump1: Let's assume that the fact that the Nilotic does not occur and the whooshing does not occur is not true.; sent3 & assump1 -> int1: the sculpturalness does not occur.; sent4 -> int2: the fact that the sculpturalness occurs is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the languishing does not occur.
$hypothesis$ = that the Nilotic does not occur and the whooshing does not occur is not true. ; $context$ = sent1: if that the taxation but not the sculpturalness occurs is incorrect then the languishing does not occur. sent2: if the expulsion happens then that the taxation but not the sculpturalness happens is not true. sent3: the sculpturalness does not occur if that the Nilotic does not occur and the whooshing does not occur is incorrect. sent4: the taxation and the sculpturalness occurs. sent5: the Niloticness does not occur. sent6: that the Niloticness but not the whooshing occurs is not right. sent7: the sculpturalness does not occur if the Niloticness occurs. sent8: if the fact that the yaws does not occur is not wrong the expulsion and the overrunning enumerator happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Nilotic does not occur and the whooshing does not occur is not true.; sent3 & assump1 -> int1: the sculpturalness does not occur.; sent4 -> int2: the fact that the sculpturalness occurs is correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__