the repetition does not occur if that the hypnoticness happens hold.
sent1: the unexpansiveness occurs. sent2: the rumination happens. sent3: the fact that the gilding Toyohashi happens is not right. sent4: either the non-unexpansiveness or that the repetition does not occur or both brings about that the stabbing paleogeography does not occur. sent5: that the precedence occurs yields that the unexpansiveness does not occur and the hypnoticness occurs.
void -> assump2: Let's assume that the repetition happens.; assump2 -> int1: either the unexpansiveness occurs or the repetition happens or both.;
the stabbing paleogeography does not occur.
$hypothesis$ = the repetition does not occur if that the hypnoticness happens hold. ; $context$ = sent1: the unexpansiveness occurs. sent2: the rumination happens. sent3: the fact that the gilding Toyohashi happens is not right. sent4: either the non-unexpansiveness or that the repetition does not occur or both brings about that the stabbing paleogeography does not occur. sent5: that the precedence occurs yields that the unexpansiveness does not occur and the hypnoticness occurs. ; $proof$ = 
void -> assump2: Let's assume that the repetition happens.; assump2 -> int1: either the unexpansiveness occurs or the repetition happens or both.; __UNKNOWN__