O Assistente Legislativo está preparando um relatório e precisa deduzir a conclusão de uma série de proposições para verificar a consistência das informações fornecidas durante a reunião. Nesse sentido, analise as proposições a seguir:

1. Se o projeto é aprovado, então a verba será liberada.
2. A verba não foi liberada.
3. Se a verba não foi liberada, então o projeto não foi aprovado.

Qual é a conclusão lógica correta a partir das proposições acima?