Como usar declarações do tipo "uma função é a menos pesada" e comparações de peso entre indivíduos para eliminar opções e identificar quem ocupa cada função?

Aplica-se eliminação lógica: a pessoa ligada ao cargo mais leve não pode ocupar esse cargo; e se um cargo é declarado mais leve que alguém, essa pessoa também é excluída desse cargo. Repetindo essas eliminações chega‑se à atribuição única.

Explicação:
Parta das informações absolutas (“cargo X é o menos pesado”) para excluir o amigo/associado desse cargo.
Use comparações relativas (“cargo Y é mais leve que Pessoa Z”) para excluir Z do cargo Y, pois ninguém pode ser mais leve que si mesmo.
Depois aplique as exclusões remanescentes; se restar apenas uma opção para algum indivíduo ou cargo, a atribuição torna‑se necessária.

Exemplo:
Três pessoas: Aline, Bruno, Caio — cargos: Apresentador, Recordista, Coordenador.
Dados: o Coordenador é o menos pesado e é amigo de Bruno → Bruno ≠ Coordenador.
Também: o Apresentador é mais leve que Caio → Apresentador < Caio (ou seja, Caio não pode ser Apresentador).
Se Caio fosse o Coordenador (o mais leve), não poderia haver alguém (Apresentador) mais leve que ele — contradição → Caio ≠ Coordenador.
Logo, Coordenador = Aline. Restam Apresentador e Recordista para Bruno e Caio.
Como Apresentador é mais leve que Caio, Apresentador ≠ Caio → Apresentador = Bruno e Recordista = Caio.