Horácio, Inácio e Jocácio fizeram uma prova de
matemática. Os três obtiveram notas diferentes. A nota de
Horácio foi maior do que a de Jocácio. A nota de Jocácio
não foi maior do que a nota de Inácio. A nota de Inácio
não foi maior do que a de Horácio. Assim, se ordenarmos
as notas dos três da maior para a menor obtemos: