A logical puzzle from Alice's books