Todo mafagáfo é um guilherdo e todo guilherdo é um rosmedo. Desse modo, é correto afirmar que:
Há mafagáfo que não é rosmedo.
Todo guilherdo é mafagáfo.
Nenhum rosmedo é mafagáfo.
Alguns guilherdos podem ser mafagáfos.
