the screening happens.
sent1: the murmuring Rebel does not occur and the anisogamicness does not occur. sent2: if the fact that either the non-hostileness or the Monacanness or both occurs is not correct the fact that the Aramaic occurs hold. sent3: the fact that both the murmuring Rebel and the Aramaic happens is wrong if that the anisogamicness does not occur hold. sent4: the Aramaicness happens if that either the hostile does not occur or the Monacanness does not occur or both is not right. sent5: that the murmuring Rebel does not occur prevents the Aramaicness.
void -> assump1: Let's assume that the screening does not occur.; sent1 -> int1: the murmuring Rebel does not occur.; sent5 & int1 -> int2: the Aramaic does not occur.;
the screening does not occur.
$hypothesis$ = the screening happens. ; $context$ = sent1: the murmuring Rebel does not occur and the anisogamicness does not occur. sent2: if the fact that either the non-hostileness or the Monacanness or both occurs is not correct the fact that the Aramaic occurs hold. sent3: the fact that both the murmuring Rebel and the Aramaic happens is wrong if that the anisogamicness does not occur hold. sent4: the Aramaicness happens if that either the hostile does not occur or the Monacanness does not occur or both is not right. sent5: that the murmuring Rebel does not occur prevents the Aramaicness. ; $proof$ = 
void -> assump1: Let's assume that the screening does not occur.; sent1 -> int1: the murmuring Rebel does not occur.; sent5 & int1 -> int2: the Aramaic does not occur.; __UNKNOWN__