A fun deductive puzzle from the Berkeley mini-Math Tournament