> Eの判定が不要だと判断したのはEよりDのルールが優先されるべき考えだからだよね？

違うぞ。
DよりEのほうが条件として先に書かれているので判定が先に行われるってだけ。
Dの後の

> E: ただし、30と4の倍数の年はうるう年ではない

の条件判定はAとDで既に行われている内容なので削除可能。
結果、

> D: ただし30の倍数の年は、うるう年
> E: ただし、30と4の倍数の年はうるう年ではない

↑の条件判定と結果は

ただし30の倍数の年は、うるう年ではない

にまとめられる。