Renata tem três amigos — um paulista, um carioca e um gaúcho. Sabe-se que:

• ou Pedro é paulista, ou Henrique é paulista;

• ou Pedro é carioca, ou Mário é gaúcho;

• ou Henrique é gaúcho, ou Mário é gaúcho;

• ou Mário é carioca, ou Henrique é carioca.

Nessas condições, Pedro, Mário e Henrique são, respectivamente,

Considere que C é o conjunto de cachorros, que F é o conjunto de animais fiéis e o diagrama a seguir.

O diagrama representa a seguinte proposição: