the postwarness does not occur.
sent1: if the disloyalness occurs then the postwarness happens. sent2: that the shedding does not occur is prevented by that the nativeness happens. sent3: if the fact that the fact that not the rebuff but the Eritreanness occurs is right does not hold the postwarness does not occur. sent4: that not the rebuff but the Eritreanness occurs is not right if the Lincolnesqueness does not occur. sent5: if the Eritrean happens then that the native does not occur and the disloyalness does not occur is not true. sent6: the postwarness does not occur if the fact that the disloyalness but not the nativeness happens is not correct. sent7: if the protectiveness occurs then the Lincolnesqueness does not occur but the extroversiveness happens. sent8: the nativeness does not occur. sent9: the Eritrean happens.
void -> assump1: Let's assume that the disloyalness does not occur.; sent8 & assump1 -> int1: the fact that the nativeness does not occur and the disloyalness does not occur is true.; sent5 & sent9 -> int2: the fact that the native does not occur and the disloyalness does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the disloyalness happens.; int4 & sent1 -> hypothesis;
the fact that the shedding occurs is not false.
$hypothesis$ = the postwarness does not occur. ; $context$ = sent1: if the disloyalness occurs then the postwarness happens. sent2: that the shedding does not occur is prevented by that the nativeness happens. sent3: if the fact that the fact that not the rebuff but the Eritreanness occurs is right does not hold the postwarness does not occur. sent4: that not the rebuff but the Eritreanness occurs is not right if the Lincolnesqueness does not occur. sent5: if the Eritrean happens then that the native does not occur and the disloyalness does not occur is not true. sent6: the postwarness does not occur if the fact that the disloyalness but not the nativeness happens is not correct. sent7: if the protectiveness occurs then the Lincolnesqueness does not occur but the extroversiveness happens. sent8: the nativeness does not occur. sent9: the Eritrean happens. ; $proof$ = 
void -> assump1: Let's assume that the disloyalness does not occur.; sent8 & assump1 -> int1: the fact that the nativeness does not occur and the disloyalness does not occur is true.; sent5 & sent9 -> int2: the fact that the native does not occur and the disloyalness does not occur does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the disloyalness happens.; int4 & sent1 -> hypothesis; __DISPROVED__