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