Considere as três afirmações, seguintes, verdadeiras.
- Todos os amigos de João são amigos de Mário.
- Mário não é amigo de qualquer amigo de Paulo.
- Antônio só é amigo de todos os amigos de Roberto.
- Mário não é amigo de qualquer amigo de Paulo.
- Antônio só é amigo de todos os amigos de Roberto.
Se Roberto é amigo de Paulo, então:
