that the fact that either the restraining evil happens or the works does not occur or both is not right is true if the bocce happens.
sent1: if the nonprehensileness occurs the outstaring inventory does not occur. sent2: the fact that the bocce happens hold if the working does not occur. sent3: if the bocce occurs then the restraining evil happens and/or the works does not occur. sent4: the expounding occurs or the honestness does not occur or both. sent5: the bocce happens if the restraining evil occurs. sent6: that the restraining evil happens leads to that the bocce does not occur. sent7: the terminologicalness does not occur if the phalloplasty does not occur. sent8: the intermission prevents the stunting.
void -> assump1: Let's assume that either the restraining evil occurs or the works does not occur or both.;
$hypothesis$ = that the fact that either the restraining evil happens or the works does not occur or both is not right is true if the bocce happens. ; $context$ = sent1: if the nonprehensileness occurs the outstaring inventory does not occur. sent2: the fact that the bocce happens hold if the working does not occur. sent3: if the bocce occurs then the restraining evil happens and/or the works does not occur. sent4: the expounding occurs or the honestness does not occur or both. sent5: the bocce happens if the restraining evil occurs. sent6: that the restraining evil happens leads to that the bocce does not occur. sent7: the terminologicalness does not occur if the phalloplasty does not occur. sent8: the intermission prevents the stunting. ; $proof$ = 
void -> assump1: Let's assume that either the restraining evil occurs or the works does not occur or both.; __UNKNOWN__