In your system there is often no way to prove which of the double-spends were first, so they both are invalid.
If we can provide deterministic way to order double-spends then we can include both and ignore the younger one. It's not related to Iota though, just an idea.