Artur, Pedro e Rafael moram em casa, apartamento e ...

Alguém poderia dar uma dica dessa questão ?! 

Proposição 1: Se Artur não mora em condomínio nem tem caminhonete, então Pedro ou Rafael mora em condomínio e tem caminhonete.

Proposição 2:  Pedro mora em apartamento (verdade). Se Pedro mora em apartamento e Artur não mora em condomínio, então Artur mora em CASA. Logo Rafael mora em condomínio e tem caminhonete.

Proposição 3: Rafael não tem utilitário. Sabemos que Rafael tem caminhonete.

Proposição 4: O dono do utilitário não mora em casa. Se já sabemos que Artur mora em casa e Rafael em condomínio, então o dono do utilitário é Pedro. Restando o carro de passeio para Artur.

                             caminhonete      utilitario    passeio                 casa      apart.   cond.  

artur                            N                    N              S                        S              N        N

pedro                          N                    S              N                        N              S        N

rafael                           S                    N            N                          N             N        S

Dica: Montar esse quadro e preencher as informações com N (não) e S (sim). 

1. -----------casa_ apart_cond
2. Arthur. ---0.----- X.------ X
3. Pedro.---- X-----. 0------. X
4. Rafael---- X-----. X.------- 0

1. ----------caminh_utilit_passeio
2. Arthur. ----X------- X. -------0
3. Pedro-----. X------. 0-------. X
4. Rafael-----. 0. ------X. -------0

Pesquisa no YouTube associação lógica