Todos os MAGNÂNIMOS são FELIZES. Alguns BENFEITORES são MAGNÂNIMOS, mas não todos. Há FELIZ que é BENFEITOR. A partir dessas afirmações, é logicamente correto afirmar que
os MAGNÂNIMOS que não são FELIZES, são BENFEITORES.
os BENFEITORES que são MAGNÂNIMOS, não são FELIZES.
todos os BENFEITORES que são MAGNÂNIMOS são FELIZES.
os FELIZES que não são MAGNÂNIMOS são BENFEITORES.