I. a) Todos os alagoanos são hospitaleiros.
b) Geraldo é hospitaleiro.
c) Geraldo é alagoano.
O grupo dos alagoanos está contido dentro do grupo de hospitaleiros. O fato de Geraldo ser hospitaleiro não significa, necessariamente que ele é alagoano, pois ele pode ser baiano, por exemplo. Afirmativa falsa.
II. a) Todos os alagoanos são hospitaleiros.
b) Geraldo é alagoano.
c) Geraldo é hospitaleiro.
O grupo dos alagoanos está contido dentro do grupo de hospitaleiros. Geraldo é alagoano. Aqui temos certeza que Geraldo é hospitaleiro, pois ele é alagoano, e todos os alagoanos são hospitaleiros. Afirmativa verdadeira
III. a) Todos os maceioenses são alagoanos.
b) Existem alagoanos estudiosos.
c) Existem maceioenses estudiosos.
O grupo de maceioenses está contido no grupo de alagoanos (não tem como alguém ser maceioense[cidade] sem ser alagoano[Estado] ). O fato de existirem alagoanos estudiosos não nos faz concluir que existem maceioenses estudiosos.
Acho que entendi agora. A questão faz você se confundir e interpretar que todo alagoano é maceioense, mas não é. Maceioenses é quem nasce na capital de Alagoas.
Logo, pode existir maceioense estudioso, como também pode não existir. Quando há esse tipo de dúvida, o argumento já se torna inválido.
O desenho ficaria assim: http://sketchtoy.com/69757789