Em um setor de um tribunal, três servidores — Ana, Bruno e Carla — analisam processos. Sabe-se que:

• Se Ana analisa um processo, então Bruno também o analisa.
• Se Carla não analisa um processo, então Bruno o analisa.
• Se Bruno analisa um processo, então Ana não o analisa.

Considere as proposições:

I. É possível que os três servidores analisem o mesmo processo.

II. Se Carla analisa um processo, então Ana não o analisa.

III. Se Bruno não analisa um processo, então Carla não o analisa.

IV. Existe pelo menos um processo que Bruno analisa e Carla não analisa.

Com base apenas nas premissas dadas, quais proposições são necessariamente verdadeiras?