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 Ana e Bruno analisem o mesmo processo.

II. É possível que Carla analise um processo sem que Bruno o analise.

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

IV. Se Ana analisa um processo, então Carla o analisa.

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