Sabendo que todo médico é formado e que todo formado é brasileiro, podemos afirmar que:

Todo brasileiro é formado

Todo brasileiro é médico

Pode haver médico que não é brasileiro

Pode haver brasileiro que é médico

Não pode haver brasileiro que não é formado