Um jogador apostou em uma corrida de cavalos, mas o organizador das apostas não disse a ele os resultados da corrida. Ele simplesmente deu dicas sobre como os cinco cavalos terminaram a prova – dicas estas que podem incluir alguns empates-, e disse que não pagaria o apostador a menos que ele dissesse a classificação final dos cincos cavalos, baseado nas seguintes dicas:
Rapadura completou à frente de Barks e atrás de Sete-de-ouros;
Sete-de-ouros cruzou junto com Rapadura se, e somente se, Feliz não cruzou junto com Saltador;
Rapadura completou a corrida o mesmo número de posições atrás de Saltador que Saltador atrás de Sete-de-ouros, (ou seja, se Rapadura completou X posições atrás de Saltador, Saltador completou X posições atrás de Sete-de-ouros) se, e somente se, Sete-de-ouros completou à frente de Barks.
O apostador pensou um pouco e depois respondeu corretamente. Qual foi a classificação final dos cavalos na corrida?
Hugo is discussing. 
Hugo Janeiro 25, 2014, às 13:47 Permalink
Sete-de-ouros completou em primeiro. Saltador e Feliz empataram em segundo. Rapadura ficou em quarto e Barks em quinto.