What is the ruling concerning the manumission of a slave and divorce of a wife based on a sequence of conditional statements involving manumission, swearing an oath, and striking?

Primary text

If a man states to his slave, 'If I free you, my wife is divorced,' then states to his wife, 'If you swear an oath to divorce you, my slave is free,' and finally states to his slave, 'If I do not strike you, my wife is divorced,' the slave is freed and the wife is divorced. This outcome is established through the fulfillment of the conditions in their given sequence.