「あの雪面は損傷脊髄内であるが討議しない」ということは間違っている
fact1: あの悲鳴交じりは変え難くない fact2: 「あの雪面は変え難いということはない」ということは嘘でない fact3: 仮にあの悲鳴交じりが変え難くないならあの雪面は損傷脊髄内であるがしかし討議しない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
$facts$ = fact1: あの悲鳴交じりは変え難くない fact2: 「あの雪面は変え難いということはない」ということは嘘でない fact3: 仮にあの悲鳴交じりが変え難くないならあの雪面は損傷脊髄内であるがしかし討議しない ; $hypothesis$ = 「あの雪面は損傷脊髄内であるが討議しない」ということは間違っている ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: あの悲鳴交じりは変え難くない
事実2: 「あの雪面は変え難いということはない」ということは嘘でない
事実3: 仮にあの悲鳴交じりが変え難くないならあの雪面は損傷脊髄内であるがしかし討議しない

仮説: 「あの雪面は損傷脊髄内であるが討議しない」ということは間違っている
1. 事実3と事実1から、仮説が否定される

よって、仮説が否定されました。