Considere como verdadeiras as sentenças:

1. Se Ana é capixaba, então Bruna é carioca.

2. Se Carla é paulista, então Bruna não é carioca.

3. Se Ana não é capixaba, então Carla não é paulista.

4. Ana é capixaba ou Carla é paulista.

Deduz-se que: