Se "Alguns poetas são nefelibatas" e "Todos os nefelibatas são melancólicos", então, necessariamente:
Todo melancólico é nefelibata.
Todo nefelibata é poeta.
Algum poeta é melancólico.
Nenhum melancólico é poeta.
Nenhum poeta não é melancólico.