[EM] IRV inconsistency

[Bart Ingles]

Forest Simmons wrote:
> 
> Markus,
> 
> I would like to see an example where the Condorcet winner is B in
> precincts 1 and 2, yet the combined ballots make A the Condorcet winner.
> 
> It seems to me that if B is preferred by majorities y1 > x1 and y2 > x2 in
> the respective precincts, then B is preferred to A in the combined
> election by a majority of y1+y2 > x1+x2.
> 
> Perhaps you are referring to the case where there is no Condorcet winner
> according to one or more of the three counts (precinct 1, precinct 2, or
> combined).


I don't know if Markus will have a ready answer, but if not, I wonder if
it would help to start with an example where Borda and Condorcet produce
different winners?  You might then be able to partition the example in a
way which shows inconsistency.