あの権限等は販売網である
fact1: 仮にあの温泉場が変化し易くないとしたら販売網でかつ下請け分業ネットワークだ fact2: 仮にあの温泉場が販売網であるならその末席は販売網だ fact3: もしもあの温泉場が変化し易いとしたらあの権限等は販売網だ fact4: あの温泉場は下請け分業ネットワークだしさらに変化し易い fact5: あの温泉場は下請け分業ネットワークである fact6: もし「あの権限等は変化し易いがしかし食一概でない」ということは本当でないとすればあの温泉場は変化し易くない
fact4 -> int1: あの温泉場は変化し易い; int1 & fact3 -> hypothesis;
その末席は販売網だ
$facts$ = fact1: 仮にあの温泉場が変化し易くないとしたら販売網でかつ下請け分業ネットワークだ fact2: 仮にあの温泉場が販売網であるならその末席は販売網だ fact3: もしもあの温泉場が変化し易いとしたらあの権限等は販売網だ fact4: あの温泉場は下請け分業ネットワークだしさらに変化し易い fact5: あの温泉場は下請け分業ネットワークである fact6: もし「あの権限等は変化し易いがしかし食一概でない」ということは本当でないとすればあの温泉場は変化し易くない ; $hypothesis$ = あの権限等は販売網である ; $proof$ = 
fact4 -> int1: あの温泉場は変化し易い; int1 & fact3 -> hypothesis; __PROVED__
事実1: 仮にあの温泉場が変化し易くないとしたら販売網でかつ下請け分業ネットワークだ
事実2: 仮にあの温泉場が販売網であるならその末席は販売網だ
事実3: もしもあの温泉場が変化し易いとしたらあの権限等は販売網だ
事実4: あの温泉場は下請け分業ネットワークだしさらに変化し易い
事実5: あの温泉場は下請け分業ネットワークである
事実6: もし「あの権限等は変化し易いがしかし食一概でない」ということは本当でないとすればあの温泉場は変化し易くない

仮説: あの権限等は販売網である
1. 事実4から、推論1: "あの温泉場は変化し易い"が導かれる
2. 推論1と事実3から、仮説が導かれる

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