Olá pessoal, Eu entendo isso da seguinte forma:
Vamos pensar como se fossemos um dos dragões. Cada um de nós vê pelo menos 2 dragões de olhos verdes. Com isso, podemos concluir o seguinte: ou são 4 dragões de olhos verdes, ou são 3 de olhos verdes e 1 de olhos marrons. De fato, se tivéssemos 2 de olhos marrons (ou mais), então um dos dragões que não tem olhos marrons não estaria vendo 2 dragões de olhos verdes.. estaria vendo no máximo 1. Bom.. é claro que Amadeus conclui isso em t=1, B. em t=2, C. em t=3 e D. em t=4. Em t=4, Amadeus vê que ninguém se transformou em passarinho, e em t=5 conclui que então ninguém viu 1 olho marrom, pois se alguém tivesse visto um olho marrom que não é o seu, poderia concluir que portanto tem olhos verdes (já que não podem existir 2 marrons). Assim, Amadeus vira passarinho. Amadeus precisava esperar por t=4 para ter certeza, é claro, de que todos os dragões já tinham tirado suas conclusões iniciais. (Ou seja, que não tinham visto olhos marrons em ninguém). Em t=7, vem a vez de B tirar suas conclusões. Sim, somente em t = 7, pois Amadeus virou passarinho em t=5, e diz no texto que ele conclui as coisas depois de receber a última informação. Ele vê que Amadeus virou passarinho, portanto Amadeus ou bem viu 1 olho marrom, ou então concluiu que eram todos verdes. Mas se fosse o caso de Amadeus ter visto 1 olho marrom, ele já teria concluído em t=1 que o dele é verde, pois não se podem ter 2 marrons. Assim, o que aconteceu foi que Amadeus concluiu que todos são verdes. Portanto B. conclui que o seu próprio é verde, e vira passarinho. Como B. virou passarinho em t=7, leva 3 segundos para C. se dar conta da situação, e em t=10, C. conclui que também tem olhos verdes, pelo mesmo argumento de antes sobre A., e vira passarinho. Assim, a coruja vê 3 dragões e 1 passarinho. Abraço, - Leandro A. L.