These inequalities can be considered rules about how to bound calculations involving probabilities without assuming independence or, indeed, without making any dependence assumptions whatsoever.
The court is required to undertake the disentanglement exercise by reference to an evaluation of possibilities, not proof on the balance of probabilities.