Dentro de um grupo de torcedores de futebol, todos os que torcem para o Bahia também torcem para o Flamengo, mas nenhum torcedor do Bahia torce para o Vitória. Além disso, os três únicos torcedores que torcem para o Juazeirense também torcem para o Santos.

Considerando-se essa situação hipotética e sabendo-se que todo integrante do grupo que torce para o Santos também torce para o Vitória, é correto concluir que, necessariamente,