Em um fluxo de pagamento, considere as afirmações:

I: “Há inconsistência no cadastro.”
V: “A solicitação é devolvida para correção.”
P: “O pagamento é liberado.”
D: “O documento está incompleto.”

Admita como premissas, simultaneamente verdadeiras:

1. Se há inconsistência no cadastro, então a solicitação é devolvida para correção.
2. Se a solicitação é devolvida para correção, então o pagamento não é liberado.
3. Pelo menos um dos dois problemas ocorreu: houve inconsistência no cadastro ou o documento está incompleto.
4. O pagamento foi liberado.

Com base exclusivamente nas premissas, assinale a conclusão logicamente necessária.