Sherlock Holmes
The line recurs across Arthur Conan Doyle's Holmes stories, first appearing in the 1890 novel The Sign of the Four. The eliminative reasoning Holmes describes is formally valid only in closed systems where all possibilities are known.
