if the undrinkableness happens then the southness does not occur.
sent1: if the mismanagement does not occur then the fact that the permutation happens and the weaning frottage occurs does not hold. sent2: the mismanagement does not occur if the thrombosing nard and/or the south occurs.
void -> assump2: Let's assume that the undrinkableness happens.; void -> assump1: Let's assume that the southness occurs.; assump1 -> int1: either the thrombosing nard happens or the south occurs or both.; sent2 & int1 -> int2: the mismanagement does not occur.; sent1 & int2 -> int3: the fact that the fact that the permutation occurs and the weaning frottage occurs is false is right.;
$hypothesis$ = if the undrinkableness happens then the southness does not occur. ; $context$ = sent1: if the mismanagement does not occur then the fact that the permutation happens and the weaning frottage occurs does not hold. sent2: the mismanagement does not occur if the thrombosing nard and/or the south occurs. ; $proof$ = 
void -> assump2: Let's assume that the undrinkableness happens.; void -> assump1: Let's assume that the southness occurs.; assump1 -> int1: either the thrombosing nard happens or the south occurs or both.; sent2 & int1 -> int2: the mismanagement does not occur.; sent1 & int2 -> int3: the fact that the fact that the permutation occurs and the weaning frottage occurs is false is right.; __UNKNOWN__