Funny; for me, the abstract version is exactly what I need. And the answer pops out almost immediately:

  B <= C or D <= A

(Assuming A <= B and C <= D, for which I may ask the interviewer about.)