the initiative does not occur and the Cambodian does not occur.
sent1: the seiche brings about that the hatching separation occurs. sent2: the clinching Mantle happens if the organizationalness occurs. sent3: the realizing does not occur if the hatching nostrum does not occur. sent4: the canonicness happens and the unambitiousness happens. sent5: if both the hatching separation and the hatching nostrum occurs then the fact that the canonicness does not occur is not false. sent6: the organizationalness occurs. sent7: the southeaster occurs. sent8: that the initiative does not occur and the Cambodianness does not occur is brought about by that the realizing does not occur. sent9: if that the seiche does not occur but the throning happens does not hold then the hatching separation occurs.
sent2 & sent6 -> int1: the fact that the clinching Mantle happens is right.; void -> assump1: Let's assume that the hatching nostrum happens.; sent4 -> int2: the canonicness happens.;
$hypothesis$ = the initiative does not occur and the Cambodian does not occur. ; $context$ = sent1: the seiche brings about that the hatching separation occurs. sent2: the clinching Mantle happens if the organizationalness occurs. sent3: the realizing does not occur if the hatching nostrum does not occur. sent4: the canonicness happens and the unambitiousness happens. sent5: if both the hatching separation and the hatching nostrum occurs then the fact that the canonicness does not occur is not false. sent6: the organizationalness occurs. sent7: the southeaster occurs. sent8: that the initiative does not occur and the Cambodianness does not occur is brought about by that the realizing does not occur. sent9: if that the seiche does not occur but the throning happens does not hold then the hatching separation occurs. ; $proof$ = 
sent2 & sent6 -> int1: the fact that the clinching Mantle happens is right.; void -> assump1: Let's assume that the hatching nostrum happens.; sent4 -> int2: the canonicness happens.; __UNKNOWN__