if the rhinalness does not occur the antitypicness does not occur.
sent1: if the junket does not occur the fact that the antitypicness but not the deafening clip-clop happens is false. sent2: the rhinalness does not occur and the junket does not occur if the unsocialness occurs. sent3: the deafening clip-clop happens if that the antitypicness but not the deafening clip-clop occurs is false. sent4: if the fact that the emplacement occurs is true then the oddness does not occur. sent5: if the antitypicness happens the junket happens. sent6: the unsocialness and the star occurs if the oddness does not occur.
void -> assump2: Let's assume that the antitypicness happens.; sent5 & assump2 -> int1: the junket happens.;
the deafening clip-clop occurs.
$hypothesis$ = if the rhinalness does not occur the antitypicness does not occur. ; $context$ = sent1: if the junket does not occur the fact that the antitypicness but not the deafening clip-clop happens is false. sent2: the rhinalness does not occur and the junket does not occur if the unsocialness occurs. sent3: the deafening clip-clop happens if that the antitypicness but not the deafening clip-clop occurs is false. sent4: if the fact that the emplacement occurs is true then the oddness does not occur. sent5: if the antitypicness happens the junket happens. sent6: the unsocialness and the star occurs if the oddness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the antitypicness happens.; sent5 & assump2 -> int1: the junket happens.; __UNKNOWN__