Solution (source code)

= Solution

The independence already failed, and it still fails because conditioning on $A$ opens $D\to A\leftarrow Z$.