Em um protocolo de segurança digital, são estabelecidas as seguintes premissa...

Em um protocolo de segurança digital, são estabelecidas as seguintes premissas condicionais entre os agentes do sistema:
Se Ana autoriza o acesso, então Bruno valida o registro.
Se Bruno valida o registro, então Carla arquiva o protocolo.
Se Carla não arquiva o protocolo, então Daniel comunica a falha.
Sabe-se, adicionalmente, que Daniel não comunicou a falha.
Com base nessas informações, qual afirmação é necessariamente verdadeira?