Como usar desigualdades entre concorrentes e a condição "vencedor único" para determinar o vencedor e o parceiro de um empate?

Eliminar candidatos ao primeiro por desigualdades e identificar o par do empate por exclusão.

Explicação:
1) A condição vencedor único significa que não há empate na primeira posição, então qualquer concorrente que seja conhecido por estar abaixo de outro não pode ser vencedor.
2) Use as relações do tipo X > Y ou X < Y para excluir quem não pode ser primeiro; o(s) restantes é(ão) candidato(s) ao primeiro.
3) Para um empate em determinada posição, descarte como parceiro do empate qualquer concorrente que seja provadamente menor que o emparelhado ou que fique abaixo de outro que já foi excluído do empate.

Exemplo:
Temos seis jogadores: P, Q, R, S, T e U. Sabemos:
- O vencedor é único.
- R está empatado em segundo com outra pessoa.
- S > Q.
- P < Q.
- T > Q, mas T < R.
- U não venceu.

Aplicando o método:
- Quem for menor que alguém não pode vencer, então P e Q ficam excluídos de vencer por P < Q e Q < S (indiretamente via S > Q).
- T também não vence porque T < R e R está abaixo do vencedor.
- U foi informado que não venceu.
- Só resta S como possível vencedor único.
- R empata em segundo com quem não pode ser Q (já menor), nem T (menor que R), nem P (abaixo de Q); portanto empata com U.
- Logo, T fica em posição imediatamente inferior ao empate.

Conclusão do exemplo: S é o vencedor único; R e U empataram em segundo; T é terceiro.