What is the ruling if the condition includes 'and' but the consequence is stated immediately, such as 'You are divorced and if you enter the house'?
Chapter on Explicit Divorce and Others
Al-Mughni
Book of Divorce
Primary text
If the husband says, 'You are divorced and if you enter the house,' the divorce occurs immediately because the conjunction 'waw' (and) here is for accompanying circumstance (*wāw al-hāl*) or is introductory, not for consequence. If he asserts he intended the 'waw' to mean consequence or to suspend the divorce on a circumstance he then abandoned, this is judged based on two narrations.
Supporting text
If he says, 'If you enter the house and you are divorced, then my slave is free,' the slave is not freed until entry, but the wife is divorced immediately because the 'waw' signifies the attendant circumstance (she is divorced at the moment of entry). If he says, 'You are divorced if you enter the house while divorced,' she is divorced again upon entry if she was already divorced, but not if she entered while not divorced, as this functions like a condition of riding.