the communications happens if the disunion does not occur.
sent1: that the communications happens is caused by the disunion. sent2: the fact that the killing occurs hold. sent3: that the recission happens brings about the communications. sent4: the entry does not occur. sent5: the knee-lengthness does not occur.
void -> assump2: Let's assume that the recission does not occur.;
$hypothesis$ = the communications happens if the disunion does not occur. ; $context$ = sent1: that the communications happens is caused by the disunion. sent2: the fact that the killing occurs hold. sent3: that the recission happens brings about the communications. sent4: the entry does not occur. sent5: the knee-lengthness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the recission does not occur.; __UNKNOWN__