Um grande banco formará uma comissão que será comandada por ...

Um grande banco formará uma comissão que será comandada por três de suas funcionárias, Alice, Beatriz e Carla. Nessa comissão, uma delas será a presidente, outra será a gerente, e outra, a coordenadora. A distribuição desses cargos deverá, necessariamente, considerar as quatro seguintes restrições:

I) Se Carla for a gerente, então Beatriz terá de ser a presidente;
II) Se Alice for a presidente, então Carla terá de ser a gerente;
III) Se Beatriz não for a coordenadora, então Alice terá de ser a gerente;
IV) Se Carla for a coordenadora, então Beatriz terá de ser a gerente.

Nessas circunstâncias, os respectivos cargos de Alice, Beatriz e Carla serão