そのスノーは抗い難い
fact1: もしもなんらかの物が伺えるとしたらそれは抗い難い fact2: そのスノーは残骸である fact3: 「もしそのスノーが残骸ならばあのスノーは伺える」ということは間違っていない
fact3 & fact2 -> int1: そのスノーは伺える; fact1 -> int2: もしそのスノーは伺えるなら「それは抗い難い」ということは成り立つ; int1 & int2 -> hypothesis;
fact3 & fact2 -> int1: {B}{a}; fact1 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: もしもなんらかの物が伺えるとしたらそれは抗い難い fact2: そのスノーは残骸である fact3: 「もしそのスノーが残骸ならばあのスノーは伺える」ということは間違っていない ; $hypothesis$ = そのスノーは抗い難い ; $proof$ = 
fact3 & fact2 -> int1: そのスノーは伺える; fact1 -> int2: もしそのスノーは伺えるなら「それは抗い難い」ということは成り立つ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもなんらかの物が伺えるとしたらそれは抗い難い
事実2: そのスノーは残骸である
事実3: 「もしそのスノーが残骸ならばあのスノーは伺える」ということは間違っていない

仮説: そのスノーは抗い難い
1. 事実3と事実2から、推論1: "そのスノーは伺える"が導かれる
2. 事実1から、推論2: "もしそのスノーは伺えるなら「それは抗い難い」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。