Lógica de sudoku, aplicada a um caso por resolver.
Cruza as pistas, elimina o impossível e deduz quem não tem álibi.