Certo dia, três bibliotecárias foram incumbidas de catalogar os livros de um lote recebido. Ao final do trabalho, duas delas fizeram as seguintes declarações:

Aline: Bia catalogou livros do lote, mas Cacilda não os catalogou.
Bia: Se Aline não catalogou livros do lote, então Cacilda os catalogou.

Considerando que as duas declarações são verdadeiras, então os livros desse lote foram catalogados: