///
Em uma conversa sobre futebol, Ana, Bia e Carolina fizeram as afirmações a seguir.
Ana afirmou: “Bia torce para o Flamengo e para o Fluminense”.
Bia afirmou: “Eu não torço para o Flamengo”.
Carolina afirmou: “Se Bia torce para o Flamengo, então eu torço para o Vasco da Gama”.
Se a afirmação de Bia for verdadeira, então a afirmação de Carolina será necessariamente verdadeira.