Um estudante de Andradina está resolvendo um problema de lógica que diz: "Se todos os alunos da sala de aula têm mais de 10 anos e João tem 12 anos, então ele é um aluno da sala". Essa afirmação é: