Considere verdadeiras as seguintes afirmações: Ester não torcer pelo Palmeiras é condição necessária e suficiente para Carolina torcer pelo Cruzeiro. Beatriz torce pelo Botafogo ou Alice torce pelo Atlético. Ou Daniele torce pelo Flamengo ou Ester torce pelo Palmeiras. Se Beatriz torce pelo Botafogo, então Carolina não torce pelo Cruzeiro. Com certeza, Daniele torce pelo Flamengo.

Portanto, pode-se necessariamente concluir que: