When I prove it, I prove and use (a slight notational variation on) these two lemmas.
If hF(X|E)∩hF(Y|E)={}, then hF(X|E)=hF(X|(y∩E)) for all y∈Y.
hF((X∨SY)|E)=hF(X|E)∪⋃x∈XhF(Y|x∩E).
(These are also the two lemmas that I have said elsewhere in the comments look suspiciously like entropy.)
These are not trivial to prove, but they might help.
When I prove it, I prove and use (a slight notational variation on) these two lemmas.
If hF(X|E)∩hF(Y|E)={}, then hF(X|E)=hF(X|(y∩E)) for all y∈Y.
hF((X∨SY)|E)=hF(X|E)∪⋃x∈XhF(Y|x∩E).
(These are also the two lemmas that I have said elsewhere in the comments look suspiciously like entropy.)
These are not trivial to prove, but they might help.