Como usar relações de ordem (acima/abaixo) e negações para deduzir, por eliminação, a posição ou atributo único de um elemento?

Aplica-se dedução por eliminação: use as relações de ordem para excluir posições impossíveis e combine com negações para atribuir o atributo à posição que sobrar.

Passos práticos:
1) Liste as três posições possíveis (topo, meio, baixo).
2) Aplique cada relação "acima/abaixo" para eliminar posições que gerariam contradição (ex.: se algo exige um elemento abaixo, não pode estar em baixo).
3) Use as negações (ex.: "não é o menor") para excluir atributos de elementos já posicionados.
4) O que restar por eliminação é a atribuição correta; verifique consistência.

Exemplo:
Cenário: três caixas empilhadas (topo, meio, baixo): Caixa A, Caixa B, Caixa C — tamanhos: pequeno, médio, grande.
Condições:
- O grande está imediatamente abaixo da Caixa B.
- A Caixa A não é a menor.
- A Caixa C está acima da caixa pequena.

Raciocínio:
- Se a Caixa B estivesse embaixo não haveria espaço para o grande abaixo dela — contradiz a condição → Caixa B não pode ser embaixo, então é do meio.
- Como o grande fica abaixo da Caixa B, o grande é a posição de baixo.
- A Caixa C está acima da pequena, portanto não pode ser a de baixo; com a de baixo já ocupada pelo grande, a Caixa C fica no topo e a pequena não pode ficar embaixo (pois lá está o grande), então a pequena é a do meio — ou seja, a Caixa B é a pequena.
Conclusão: por eliminação usando "abaixo" + negações, identificou‑se que a Caixa B é a pequena.