the Liberianness happens if the luxuriating Physeteridae occurs.
sent1: that both the luxuriating Physeteridae and the non-scopalness happens does not hold. sent2: the fact that not the luxuriating Physeteridae but the scopalness happens is wrong.
void -> assump1: Let's assume that the luxuriating Physeteridae does not occur and the scopalness does not occur.; assump1 -> int1: the luxuriating Physeteridae does not occur.; void -> assump2: Let's assume that the luxuriating Physeteridae happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the luxuriating Physeteridae does not occur and the scopalness does not occur is false.;
$hypothesis$ = the Liberianness happens if the luxuriating Physeteridae occurs. ; $context$ = sent1: that both the luxuriating Physeteridae and the non-scopalness happens does not hold. sent2: the fact that not the luxuriating Physeteridae but the scopalness happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that the luxuriating Physeteridae does not occur and the scopalness does not occur.; assump1 -> int1: the luxuriating Physeteridae does not occur.; void -> assump2: Let's assume that the luxuriating Physeteridae happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the luxuriating Physeteridae does not occur and the scopalness does not occur is false.; __UNKNOWN__