Raymond Smullyan's book of puzzles "What is the Name of this Book?" introduced the logical detective Inspector Leslie Craig of Scotland Yard. On this page, Inspector Craig has provided some additional case files "for the benefit of those interested in the application of logic to the solution of crimes."

For each case history, determine if the evidence supports the guilt or innocence of each suspect, or that the evidence does not allow a determination.

The statements of evidence can be translated into logical formulae - if you are familiar with the notation, this might help you solve the case.

Illustration from Adventures of Sherlock Holmes,
by Sir Arthur Conan Doyle (1892).