Em um órgão público, três servidores — Alice, Bruno e Carla — foram designados para analisar um lote de processos. Sabe-se que:

• Se Alice analisa o processo, então Bruno não o analisa.
• Se Bruno não analisa o processo, então Carla o analisa.
• Se Carla analisa o processo, então Alice não o analisa.
• Pelo menos um dos três analisa o processo.

Além disso, verificou-se que a proposição “Alice analisa o processo ou Carla analisa o processo” é falsa. Nessas condições, pode-se concluir corretamente que: