Um diagrama lógico mostra que se o aluno A estuda, então o aluno B também estuda. Além disso, o diagrama indica que se o aluno B não estuda, então o aluno C não estuda.

Dado que o aluno C estuda, qual das seguintes afirmações deve ser verdadeira?