both the shafting nutation and the non-pediatricness occurs.
sent1: the evicting ridged does not occur and the proactiveness does not occur. sent2: the tallness does not occur and the copout does not occur. sent3: the differentiating does not occur if the evicting ridged does not occur and the proactiveness does not occur. sent4: if the differentiating does not occur then not the pediatricness but the evicting cougar happens.
sent3 & sent1 -> int1: the differentiating does not occur.; int1 & sent4 -> int2: both the non-pediatricness and the evicting cougar happens.; int2 -> int3: the pediatricness does not occur.; sent2 -> int4: the tallness does not occur.;
$hypothesis$ = both the shafting nutation and the non-pediatricness occurs. ; $context$ = sent1: the evicting ridged does not occur and the proactiveness does not occur. sent2: the tallness does not occur and the copout does not occur. sent3: the differentiating does not occur if the evicting ridged does not occur and the proactiveness does not occur. sent4: if the differentiating does not occur then not the pediatricness but the evicting cougar happens. ; $proof$ = 
sent3 & sent1 -> int1: the differentiating does not occur.; int1 & sent4 -> int2: both the non-pediatricness and the evicting cougar happens.; int2 -> int3: the pediatricness does not occur.; sent2 -> int4: the tallness does not occur.; __UNKNOWN__