the binding does not occur and the pleuralness happens.
sent1: if that the screening occurs hold then the Liberian occurs. sent2: the pleuralness occurs if the fact that the pleuralness does not occur and the compartmentalization does not occur does not hold. sent3: the Liberianness does not occur. sent4: that the scorching does not occur but the MPEG happens is false. sent5: that the pleuralness does not occur and the compartmentalization does not occur does not hold. sent6: that the binding does not occur but the pleuralness occurs does not hold if the Liberian occurs. sent7: the fact that both the non-Liberianness and the bound happens does not hold.
void -> assump1: Let's assume that the bound happens.; sent3 & assump1 -> int1: the Liberianness does not occur and the binding happens.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the binding does not occur.; sent2 & sent5 -> int4: the fact that the pleuralness occurs hold.; int3 & int4 -> hypothesis;
the fact that not the bound but the pleuralness occurs is not true.
$hypothesis$ = the binding does not occur and the pleuralness happens. ; $context$ = sent1: if that the screening occurs hold then the Liberian occurs. sent2: the pleuralness occurs if the fact that the pleuralness does not occur and the compartmentalization does not occur does not hold. sent3: the Liberianness does not occur. sent4: that the scorching does not occur but the MPEG happens is false. sent5: that the pleuralness does not occur and the compartmentalization does not occur does not hold. sent6: that the binding does not occur but the pleuralness occurs does not hold if the Liberian occurs. sent7: the fact that both the non-Liberianness and the bound happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that the bound happens.; sent3 & assump1 -> int1: the Liberianness does not occur and the binding happens.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the binding does not occur.; sent2 & sent5 -> int4: the fact that the pleuralness occurs hold.; int3 & int4 -> hypothesis; __PROVED__