Can a "most" claim be theoretically bi-directional if the size of both groups is the same?

For instance, say that there are an equal number of dogs and pets. We combine the circles in such a way that they both overlap to account for more than half of the circle. In that instance, would we just do d <-m-> p?