Considere as seguintes premissas relativas ao fluxo de conformidade de um órgão público:

P1: Se o contrato foi assinado, então o empenho foi emitido.
P2: Se o empenho foi emitido, então a despesa foi registrada.
P3: Sabe-se que a despesa não foi registrada.

Com base exclusivamente nas premissas acima, assinale a opção que apresenta uma conclusão logicamente válida: