Определите вид доказательства и метод примененный Холмсом

«…Нам известно, что он не мог попасть в комнату ни через дверь (р), ни через окно (q), ни через дымовой ход (r). Мы знаем также, что он не мог спрятаться в комнате (s), поскольку в ней прятаться негде . Как же он проник сюда?» - «Через крышу!» - воскликнул Ватсон. «Без сомнения. Он мог проникнуть в эту комнату только через крышу (t)».
Метод – дедукция. Вид доказательства: косвенное разделительное:
((р ≠ q ≠ r ≠ s ≠ t) & ¬р & ¬q & ¬r & ¬s) → t.
Модус – правильный отрицающе-утверждающий (tollendo ponens).
Первая посылка – строгая дизъюнкция нескольких вариантов, вторая – отрицание всех, кроме одного, вывод утверждает один оставшийся вариант: «Без сомнения