I recently asked this question here https://mathoverflow.net/questions/339359/inequality-involving-sine-and-cosine
It turned out that with the conditions I required there, the inequality does not hold. I tried to add extra conditions now, therefore I made a new question:

I am trying to prove that given $A,B,C,D,E,F \in \big]0,\frac{\pi}{2}\big]$ fixed and $A+C \geq E$ and $B+D \geq E$ and the following equation holds for $\mu = 1$:

$$\sin(\mu A)\cos(\mu B) + \sin(\mu C)\cos(\mu D) - \sin(\mu E)\cos(\mu F) \geq 0$$
then it holds for all $\mu\in [0,1]$.

Note obviously if $B \leq F$ and $D \leq F$ the statement is trivial to prove.

I checked numerically and it holds, however whatever I tried to prove it did not work.

Any ideas?

I would like to find a proof of the above. The conditions above should hopefully be sufficient now as far as I can tell.