Todo mafagáfo é um guilherdo e todo guilherdo é um rosmedo. Desse modo, é correto afrmar que:

Há mafagáfo que não é rosmedo.

Todo guilherdo é mafagáfo.

Nenhum rosmedo é mafagáfo.

Alguns guilherdos podem ser mafagáfos.