その飛驒高山は形成し易い
fact1: その諸手当ては住み良くて差し伸ばす fact2: なんらかのものが差し伸ばすとすれば虐殺する fact3: その諸手当ては住み良い fact4: もしその諸手当てが虐殺するとしたらその飛驒高山は形成し易い
fact1 -> int1: 「その諸手当ては差し伸ばす」ということは成り立つ; fact2 -> int2: もしその諸手当ては差し伸ばせば「それは虐殺する」ということは偽でない; int1 & int2 -> int3: その諸手当ては虐殺する; int3 & fact4 -> hypothesis;
$facts$ = fact1: その諸手当ては住み良くて差し伸ばす fact2: なんらかのものが差し伸ばすとすれば虐殺する fact3: その諸手当ては住み良い fact4: もしその諸手当てが虐殺するとしたらその飛驒高山は形成し易い ; $hypothesis$ = その飛驒高山は形成し易い ; $proof$ = 
fact1 -> int1: 「その諸手当ては差し伸ばす」ということは成り立つ; fact2 -> int2: もしその諸手当ては差し伸ばせば「それは虐殺する」ということは偽でない; int1 & int2 -> int3: その諸手当ては虐殺する; int3 & fact4 -> hypothesis; __PROVED__
事実1: その諸手当ては住み良くて差し伸ばす
事実2: なんらかのものが差し伸ばすとすれば虐殺する
事実3: その諸手当ては住み良い
事実4: もしその諸手当てが虐殺するとしたらその飛驒高山は形成し易い

仮説: その飛驒高山は形成し易い
1. 事実1から、推論1: "「その諸手当ては差し伸ばす」ということは成り立つ"が導かれる
2. 事実2から、推論2: "もしその諸手当ては差し伸ばせば「それは虐殺する」ということは偽でない"が導かれる
3. 推論1と推論2から、推論3: "その諸手当ては虐殺する"が導かれる
4. 推論3と事実4から、仮説が導かれる

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