Определите вид и правильность доказательства содержащийся в рассуждении «Но как же все таки он проник в эту комнату?

В доказательстве использована схема разделительно-категорического умозаключения.
Альтернативы:
р – «Он мог попасть в комнату через дверь»;
q – «Он мог попасть в комнату дымовой ход».
r – «Он мог спрятаться в комнате»;
s – «Он мог попасть в комнату через крышу»;
Символическая запись: ((р v q v r v s) (¬p,¬q,¬r)) → s.
Дизъюнкция использована Холмсом строгая, так как перечислены все альтернативы. Поэтому после исключения трёх альтернат

Определите вид и правильность доказательства, содержащийся в рассуждении:
«Но как же все-таки он проник в эту комнату? — повторил я. — Дверь заперта, окна снаружи недоступны. Может быть, через трубу?
— Каминное отверстие слишком мало, — ответил Холмс. — Я уже проверил эту возможность.
— Но как же тогда?
— Вы просто не хотите применить мой метод, — сказал он, качая головой. — Сколько раз я говорил вам: отбросьте все невозможное; то, что останется, и будет ответом, каким бы невероятным он ни казался. Нам известно, что он не мог попасть в комнату ни через дверь, ни через дымовой ход. Мы знаем также, что он не мог спрятаться в комнате, поскольку в ней прятаться негде. Как же тогда он проник сюда?
— Через крышу! — воскликнул я.
— Без сомнения. Он мог проникнуть в эту комнату только через крышу. Если вы будете добры посветить мне, мы продолжим наши поиски в тайнике, где был спрятан ларец с сокровищами» (А.Конан Дойль. Знак четырех).