the availableness but not the endocrine happens.
sent1: the publicness does not occur. sent2: if the abientness occurs and the formalism does not occur the availableness occurs. sent3: the endocrineness does not occur. sent4: the abientness occurs. sent5: that the formalism does not occur and the pentatonicness does not occur is caused by that the pinching does not occur. sent6: the ungregariousness does not occur. sent7: if the centering does not occur then the fact that the embodiment does not occur and the ungregariousness does not occur is false. sent8: if the public does not occur the embodiment does not occur and the ungregariousness does not occur.
void -> assump1: Let's assume that the formalism happens.; assump1 -> int1: the formalism happens or the pinching occurs or both.; sent8 & sent1 -> int2: that the embodiment does not occur and the ungregariousness does not occur hold.;
the pentatonicness does not occur.
$hypothesis$ = the availableness but not the endocrine happens. ; $context$ = sent1: the publicness does not occur. sent2: if the abientness occurs and the formalism does not occur the availableness occurs. sent3: the endocrineness does not occur. sent4: the abientness occurs. sent5: that the formalism does not occur and the pentatonicness does not occur is caused by that the pinching does not occur. sent6: the ungregariousness does not occur. sent7: if the centering does not occur then the fact that the embodiment does not occur and the ungregariousness does not occur is false. sent8: if the public does not occur the embodiment does not occur and the ungregariousness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the formalism happens.; assump1 -> int1: the formalism happens or the pinching occurs or both.; sent8 & sent1 -> int2: that the embodiment does not occur and the ungregariousness does not occur hold.; __UNKNOWN__