Como a condição "não está entre" combinada com desigualdades diretas reduz possibilidades e permite fixar posições numa ordem crescente?

Resposta: Impede que o elemento ocupe qualquer posição intermediária entre os dois referidos, restringindo opções; junto às desigualdades, pode determinar posições únicas.

Explicação:
A expressão "X não está entre Y e Z" exclui todas as posições estritamente internas ao segmento formado por Y e Z na ordem.
Ao somar essa proibição a comparações como "U < V" e informações sobre extremos (não é o mais alto/baixo), o conjunto de posições possíveis para cada elemento se reduz até, muitas vezes, sobrar apenas uma configuração válida.

Exemplo:
Quatro produtos ordenados por preço (do mais barato ao mais caro): P, Q, R, S.
Condições:
- P < R (P é mais barato que R).
- R não é o mais caro (logo R está em 2ª ou 3ª posição).
- Q < S (Q é mais barato que S).
- Q não é o mais barato (logo Q está em 2ª ou 3ª posição).
- Q não está entre S e R (Q não pode ficar separando S e R).
Dessas restrições segue-se que a única ordem compatível é: P, Q, R, S. Portanto, Q < R.