Gabriela estava analisando os relatórios de segurança da obra na qual é a engenheira responsável e concluiu:
Se a vistoria estiver em dia, a obra será liberada.
A vistoria está em dia.

Com base nessa argumentação, qual conclusão lógica é válida?