the fact that the fact that either the bopping prostatectomy does not occur or the bruxism does not occur or both is not right hold if the undressing baldness does not occur.
sent1: if that the nutation happens is right the fact that either the bopping prostatectomy does not occur or the bruxism does not occur or both does not hold. sent2: that the bopping prostatectomy occurs or the bruxism does not occur or both is not true. sent3: the permissiveness happens. sent4: the bruxism happens if the nutation occurs. sent5: if the nutation happens then the fact that that the bopping prostatectomy happens and/or the bruxism does not occur is false is correct.
void -> assump1: Let's assume that that the undressing baldness does not occur hold.; sent3 & assump1 -> int1: the permissiveness happens and the undressing baldness does not occur.;
$hypothesis$ = the fact that the fact that either the bopping prostatectomy does not occur or the bruxism does not occur or both is not right hold if the undressing baldness does not occur. ; $context$ = sent1: if that the nutation happens is right the fact that either the bopping prostatectomy does not occur or the bruxism does not occur or both does not hold. sent2: that the bopping prostatectomy occurs or the bruxism does not occur or both is not true. sent3: the permissiveness happens. sent4: the bruxism happens if the nutation occurs. sent5: if the nutation happens then the fact that that the bopping prostatectomy happens and/or the bruxism does not occur is false is correct. ; $proof$ = 
void -> assump1: Let's assume that that the undressing baldness does not occur hold.; sent3 & assump1 -> int1: the permissiveness happens and the undressing baldness does not occur.; __UNKNOWN__