the affineness does not occur if the fact that the journalism does not occur hold.
sent1: that the ataxicness does not occur results in the non-premenstrualness. sent2: the absence occurs if the journalism does not occur but the affineness happens. sent3: the group does not occur if that the fact that the group but not the affine occurs is false is not false.
void -> assump1: Let's assume that the journalism does not occur.; void -> assump2: Let's assume that the affine happens.; assump1 & assump2 -> int1: not the journalism but the affine occurs.; int1 & sent2 -> int2: the absence happens.;
the group does not occur.
$hypothesis$ = the affineness does not occur if the fact that the journalism does not occur hold. ; $context$ = sent1: that the ataxicness does not occur results in the non-premenstrualness. sent2: the absence occurs if the journalism does not occur but the affineness happens. sent3: the group does not occur if that the fact that the group but not the affine occurs is false is not false. ; $proof$ = 
void -> assump1: Let's assume that the journalism does not occur.; void -> assump2: Let's assume that the affine happens.; assump1 & assump2 -> int1: not the journalism but the affine occurs.; int1 & sent2 -> int2: the absence happens.; __UNKNOWN__