Sorry - I was only summing up the problem to solve and initial proposed solution (OR conditions where the untrue statements have no effect on the picking of the true statement).
I can't answer questions about the other cases the solution would need to address. However, I don't think those are user problems to solve.
Users could try or suggest, but chances are they don't have enough information to do so (seen here). But if users can't solve the problem, that shouldn't have any bearing on whether the problem should be solved.
Developer solutions to the conflict of OR and picking would for sure be the most important and productive to discuss. Or maybe the criteria for this be successful could be shared with users, so the proposals could be more useful to you. But if OR code is simply too complicated to adjust, then I imagine that's the end of it.