Em um escritório de auditoria, quatro analistas (A, B, C e D) devem ser alocados em quatro projetos distintos (P1, P2, P3 e P4), um por projeto. Sabe-se que:

• Se A não é alocado em P1, então B é alocado em P2.
• Se C é alocado em P3, então D não é alocado em P4.
• Se B é alocado em P2, então C não é alocado em P3.
• Se D é alocado em P4, então A é alocado em P1.

Além disso, sabe-se que cada analista tem preferências que determinam a alocação, mas as regras acima são restrições lógicas que devem ser satisfeitas. Considerando que todas as alocações são válidas e que as regras são verdadeiras, qual das seguintes conclusões é necessariamente verdadeira?