Красиво, но логика Шерлоков индуктивная, а не дедуктивная (определение в книге неверное).

«Индуктивное рассуждение противоположно дедуктивному. Индуктивное рассуждение делает широкие обобщения из конкретных наблюдений. В индуктивном выводе мы идем от частного к общему. Мы делаем много наблюдений, различаем закономерности, делаем обобщения и выводим объяснение или теорию, сказал Вассертейл-Смоллер в интервью Live Science. В науке происходит постоянное взаимодействие между индуктивным выводом (основанным на наблюдениях) и дедуктивным выводом (основанным на теории), пока мы не станем все ближе и ближе к «истине», к которой мы можем только приблизиться, но не установить с полной уверенностью.