the recusation does not occur.
sent1: the ebbing flowage occurs. sent2: the electrosurgery and the ebbing flowage occurs. sent3: if that the ebbing flowage happens and the manacling diving occurs is not right then the fact that the manacling diving does not occur is not incorrect. sent4: if the mystification occurs then the cytogeneticness happens. sent5: the recusation happens if the guesstimate happens. sent6: the manacling diving happens if the fact that the guesstimating does not occur and the cytogeneticness does not occur is false. sent7: that the recusation does not occur is brought about by that the manacling diving happens.
void -> assump1: Let's assume that the guesstimate does not occur and the cytogeneticness does not occur.; assump1 -> int1: the cytogeneticness does not occur.; int1 -> int2: either the mystification or the non-cytogeneticness or both happens.; sent2 -> int3: the electrosurgery occurs.;
the recusation occurs.
$hypothesis$ = the recusation does not occur. ; $context$ = sent1: the ebbing flowage occurs. sent2: the electrosurgery and the ebbing flowage occurs. sent3: if that the ebbing flowage happens and the manacling diving occurs is not right then the fact that the manacling diving does not occur is not incorrect. sent4: if the mystification occurs then the cytogeneticness happens. sent5: the recusation happens if the guesstimate happens. sent6: the manacling diving happens if the fact that the guesstimating does not occur and the cytogeneticness does not occur is false. sent7: that the recusation does not occur is brought about by that the manacling diving happens. ; $proof$ = 
void -> assump1: Let's assume that the guesstimate does not occur and the cytogeneticness does not occur.; assump1 -> int1: the cytogeneticness does not occur.; int1 -> int2: either the mystification or the non-cytogeneticness or both happens.; sent2 -> int3: the electrosurgery occurs.; __UNKNOWN__