the fact that the residuariness does not occur and the sinking does not occur does not hold.
sent1: the fact that the blacklisting serge does not occur if that the phreaticness and the residuariness occurs is wrong hold. sent2: that the institutionalness occurs is correct. sent3: the phreaticness happens. sent4: that not the defending but the impinging cabinet occurs is brought about by that the impinging clavicle happens. sent5: the institutionalness occurs and the sinking does not occur. sent6: that the fact that both the phreaticness and the residuariness occurs hold is not right if the defending does not occur. sent7: if the institutionalness does not occur the emplacement does not occur and the sinking does not occur. sent8: that the phreaticness does not occur is brought about by that the residuariness happens.
void -> assump1: Let's assume that that the residuariness occurs hold.; sent8 & assump1 -> int1: that the phreaticness occurs does not hold.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the residuariness does not occur.; sent5 -> int4: the sink does not occur.; int3 & int4 -> hypothesis;
the blacklisting serge does not occur and the emplacement does not occur.
$hypothesis$ = the fact that the residuariness does not occur and the sinking does not occur does not hold. ; $context$ = sent1: the fact that the blacklisting serge does not occur if that the phreaticness and the residuariness occurs is wrong hold. sent2: that the institutionalness occurs is correct. sent3: the phreaticness happens. sent4: that not the defending but the impinging cabinet occurs is brought about by that the impinging clavicle happens. sent5: the institutionalness occurs and the sinking does not occur. sent6: that the fact that both the phreaticness and the residuariness occurs hold is not right if the defending does not occur. sent7: if the institutionalness does not occur the emplacement does not occur and the sinking does not occur. sent8: that the phreaticness does not occur is brought about by that the residuariness happens. ; $proof$ = 
void -> assump1: Let's assume that that the residuariness occurs hold.; sent8 & assump1 -> int1: that the phreaticness occurs does not hold.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the residuariness does not occur.; sent5 -> int4: the sink does not occur.; int3 & int4 -> hypothesis; __DISPROVED__