Considere as seguintes sentenças:

1) Se Beto é carioca, então Sofia é mineira.

2) Se Solange é cearense, então Sofia não é mineira.

3) Solange é cearense ou Artur não é paulista.

4) Artur é paulista.

Nesse caso, é correto concluir que: