Como usar as relações "está entre" e "é o primeiro" para concluir que uma pessoa sucede imediatamente outra numa fila?

Formando blocos a partir de "está entre" e aplicando posições fixas; assim determina-se a única orientação possível e a sucessão imediata.

Explicação:
Uma condição "X está entre Y e Z" cria um bloco de três em ordem alternativa (Y‑X‑Z ou Z‑X‑Y).
Se houver uma posição fixa (por exemplo, alguém é o primeiro) ou a proibição de ser última, muitas orientações ficam inválidas, restando uma só montagem possível.
Nessa montagem única verifica‑se quem vem imediatamente após quem para afirmar a sucessão.

Exemplo:
Seja uma fila de seis: I é o primeiro e K está entre J e I → o bloco é I‑K‑J (não há outra opção com I em 1ª).
Outro trio: H está entre L e G, e há pelo menos uma pessoa atrás de L → a orientação que deixou L em último é impossível, então o bloco é L‑H‑G.
Com I‑K‑J nas posições 1–3 e L‑H‑G nas posições 4–6, a ordem final é I‑K‑J‑L‑H‑G.
Logo, H sucede L (vem imediatamente após L).