Em uma escola, adotou-se a regra:

“Se um aluno participa do clube de ciências, então ele pode utilizar o laboratório após as aulas.”

Sabe-se também que Júlia não pode utilizar o laboratório após as aulas.

Qual inferência é logicamente correta?