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:
Ana é capixaba, Bruna é carioca e Carla é paulista;
Ana não é capixaba, Bruna é carioca e Carla é paulista;
Ana é capixaba, Bruna não é carioca e Carla não é paulista;
Ana é capixaba, Bruna é carioca e Carla não é paulista;
Ana não é capixaba, Bruna não é carioca e Carla é paulista.