Se A não é azul, então B é amarelo. Se B não é amarelo, então C é verde. Se A é azul...

Gabarito: b)

Vamos analisar as proposições dadas:

1) Se A não é azul, então B é amarelo.
2) Se B não é amarelo, então C é verde.
3) Se A é azul, então C não é verde.

Queremos descobrir o que é necessariamente verdadeiro a partir dessas informações.

Primeiro, suponha que A não seja azul. Pela proposição 1, isso implica que B é amarelo.

Agora, suponha que A seja azul. Pela proposição 3, C não é verde.

Se C não é verde e pela proposição 2, se B não é amarelo, então C é verde, mas C não é verde, então B não pode deixar de ser amarelo. Ou seja, B deve ser amarelo para que C não seja verde.

Portanto, em ambos os casos, seja A azul ou não, B é amarelo.

Assim, a única conclusão que podemos afirmar com certeza é que B é amarelo.

Checagem dupla:

- Se A não é azul, B é amarelo (proposição 1).
- Se A é azul, C não é verde (proposição 3).
- Se B não é amarelo, C é verde (proposição 2), mas isso contradiz a condição de C não ser verde quando A é azul.

Logo, B deve ser amarelo para evitar contradições.

Portanto, a alternativa correta é a letra b).