Admita neste problema a seguinte definição simbólica:
x↑y significa que a pessoa x é mais alta que a pessoa y;
x↓y significa que a pessoa x é mais baixa que a pessoa y.
André (A) é mais baixo do que Bruno (B), e Enzo (E) é mais alto do que André (A). Cláudio (C) é mais alto do que Daniel (D) que, por sua vez, é mais alto do que Bruno (B).
Uma expressão simbólica que representa a relação entre as alturas das cinco pessoas descritas, de forma necessariamente correta, é
