(Enem 2 aplicação 2010) Para verificar e analisar

(Enem 2ª aplicação 2010) Para verificar e analisar o grau de eficiência de um teste que poderia ajudar no retrocesso de uma doença numa comunidade, uma equipe de biólogos aplicou-o em um grupo de 500 ratos, para detectar a presença dessa doença. Porém, o teste não é totalmente eficaz podendo existir ratos saudáveis com resultado positivo e ratos doentes com resultado negativo. Sabe-se, ainda, que 100 ratos possuem a doença, 20 ratos são saudáveis com resultado positivo e 40 ratos são doentes com resultado negativo.

Um rato foi escolhido ao acaso, e verificou-se que o seu resultado deu negativo. A probabilidade de esse rato ser saudável é