Na escola, uma professora afirma que, se um aluno passar na prova, então ele estudou bastante. Se um aluno não estudou bastante, então ele não passou na prova. Considerando essas afirmações, qual a proposição que representa que o aluno não passou na prova?