Como eliminar posições impossíveis em uma sequência usando relações de ordem e adjacência?

Forme blocos por adjacência, conte quantos elementos ficam antes/depois e elimine posições incompatíveis; então use as demais restrições para fixar as posições.

Explicação:
1) Identifique relações do tipo "antes" e "imediatamente após" e junte elementos adjacentes em blocos.
2) Conte quantos elementos do bloco ficam obrigatoriamente depois (ou antes) de um elemento para eliminar posições finais (ou iniciais) impossíveis.
3) Aplique outras restrições (não ser 1º, mais próximo do início que do fim, etc.) para reduzir as opções até determinar posições.

Exemplo:
Se há 6 posições e as condições são:
- M está antes de N
- N está imediatamente antes de O (formando o bloco M‑N‑O)
- M não é 1 nem 4
- P não é 1 e está mais próximo do início que do fim (logo P só pode ser 2 ou 3)<>

Do bloco M‑N‑O segue que existem pelo menos dois elementos após M (N e O), portanto M não pode ser 5 nem 6. Juntando com "M não é 1 nem 4", restam só as posições 2 ou 3 para M.
Como P também só pode ser 2 ou 3, não podem ocupar a mesma posição; assim M deve ser 3 e P deve ser 2. Dessa forma as posições são determinadas pela eliminação sistemática.