Em um estojo há 7 lápis de cor vermelha, 5 lápis de cor azul e 4 lápis de cor verde. Três lápis são retirados do estojo, sem reposição. Qual é a probabilidade de que os três lápis retirados sejam de cores diferentes?