the unassertiveness does not occur and the anaphoricness happens.
sent1: both the menstruating cylinder and the resoluteness occurs. sent2: the transgression happens. sent3: the roofing Schoolman happens. sent4: if that both the skittering and the rearmament occurs does not hold the transgression does not occur. sent5: that the resoluteness happens and the unassertiveness happens causes that the quirking does not occur. sent6: that the roofing Schoolman occurs prevents the non-anaphoricness.
sent1 -> int1: the resoluteness occurs.; void -> assump1: Let's assume that the unassertiveness occurs.; int1 & assump1 -> int2: the resoluteness occurs and the unassertiveness occurs.; int2 & sent5 -> int3: the quirking does not occur.; sent6 & sent3 -> int4: the anaphoricness occurs.;
$hypothesis$ = the unassertiveness does not occur and the anaphoricness happens. ; $context$ = sent1: both the menstruating cylinder and the resoluteness occurs. sent2: the transgression happens. sent3: the roofing Schoolman happens. sent4: if that both the skittering and the rearmament occurs does not hold the transgression does not occur. sent5: that the resoluteness happens and the unassertiveness happens causes that the quirking does not occur. sent6: that the roofing Schoolman occurs prevents the non-anaphoricness. ; $proof$ = 
sent1 -> int1: the resoluteness occurs.; void -> assump1: Let's assume that the unassertiveness occurs.; int1 & assump1 -> int2: the resoluteness occurs and the unassertiveness occurs.; int2 & sent5 -> int3: the quirking does not occur.; sent6 & sent3 -> int4: the anaphoricness occurs.; __UNKNOWN__