Todo final de semana, as amigas Ana, Bruna e Carol se encontram em um parque par...

Questão de Raciocínio Lógico da banca COMVEST UNICAMP aplicada no concurso UNICAMP (2023). Confira a resolução completa abaixo:

Todo final de semana, as amigas Ana, Bruna e Carol se encontram em um parque para andar de bicicleta ou de patins. Nesta brincadeira, a escolha entre patins e bicicleta é feita usando a seguinte regra:

Se Ana anda de patins, então Carol também anda de patins. Bruna anda de patins apenas quando Carol anda de bicicleta.

Sabendo que neste final de semana Carol andou de patins, então é necessariamente verdade que