if the catarrhine occurs the humanization does not occur.
sent1: the ascertaining look does not occur if the catarrhineness does not occur but the humanization occurs. sent2: if that the ascertaining rubato does not occur and the Unionness does not occur is incorrect then the catarrhine does not occur.
void -> assump1: Let's assume that that that the catarrhine does not occur is not true is not wrong.;
that the ascertaining look does not occur hold.
$hypothesis$ = if the catarrhine occurs the humanization does not occur. ; $context$ = sent1: the ascertaining look does not occur if the catarrhineness does not occur but the humanization occurs. sent2: if that the ascertaining rubato does not occur and the Unionness does not occur is incorrect then the catarrhine does not occur. ; $proof$ = 
void -> assump1: Let's assume that that that the catarrhine does not occur is not true is not wrong.; __UNKNOWN__