the hospitableness leads to that the aurifying database does not occur and the nonmigratoriness does not occur.
sent1: if that that the hospitableness does not occur and the liquefying pleurisy does not occur is not right hold the alliance does not occur.
void -> assump2: Let's assume that the fact that the aurifying database does not occur and the nonmigratoriness does not occur does not hold.;
that the alliance does not occur is not wrong.
$hypothesis$ = the hospitableness leads to that the aurifying database does not occur and the nonmigratoriness does not occur. ; $context$ = sent1: if that that the hospitableness does not occur and the liquefying pleurisy does not occur is not right hold the alliance does not occur. ; $proof$ = 
void -> assump2: Let's assume that the fact that the aurifying database does not occur and the nonmigratoriness does not occur does not hold.; __UNKNOWN__