Raciocínio Lógico — Lógica de argumentação diagramas e operadores lógicos

Antônio, Bruno, Carlos, Davi e Elias foram selecionados para participar de um programa de televisão, onde eles deveriam ficar trancados em uma casa por 4 semanas. Sobre esses candidatos, sabemos que

- os 5 rapazes são de estados diferentes: RJ, SP, SC, ES e PR;- Antônio e o rapaz que mora no RJ ficaram logo amigos;- Antônio não é paulista e nem catarinense;- Elias nasceu no estado do ES;- Carlos torce para o mesmo time do rapaz que mora em SP, enquanto o rapaz carioca torce para o time arquirrival;- o rapaz paulista e Davi jogaram damas.

Considerando as informações apresentadas, de qual estado é o rapaz chamado Davi?