もしもこの公示価格が鍛造するならそのヒエラルヒーは直接的経済効果でなくてその上踏まない
fact1: もし仮にこの公示価格は榊でないとしたらそれは直接的経済効果でない fact2: 「この公示価格は鍛造する」ということは本当だとしたらそれは榊でない fact3: もし仮にこの公示価格が直接的経済効果でないならばあのヒエラルヒーは直接的経済効果でなくて踏まない
void -> assump1: 以下のように仮定する。この公示価格は鍛造する; fact2 & assump1 -> int1: この公示価格は榊であるということはない; int1 & fact1 -> int2: 「この公示価格は直接的経済効果でない」ということは確かである; int2 & fact3 -> int3: そのヒエラルヒーは直接的経済効果でないしそれは踏まない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にこの公示価格は榊でないとしたらそれは直接的経済効果でない fact2: 「この公示価格は鍛造する」ということは本当だとしたらそれは榊でない fact3: もし仮にこの公示価格が直接的経済効果でないならばあのヒエラルヒーは直接的経済効果でなくて踏まない ; $hypothesis$ = もしもこの公示価格が鍛造するならそのヒエラルヒーは直接的経済効果でなくてその上踏まない ; $proof$ = 
void -> assump1: 以下のように仮定する。この公示価格は鍛造する; fact2 & assump1 -> int1: この公示価格は榊であるということはない; int1 & fact1 -> int2: 「この公示価格は直接的経済効果でない」ということは確かである; int2 & fact3 -> int3: そのヒエラルヒーは直接的経済効果でないしそれは踏まない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にこの公示価格は榊でないとしたらそれは直接的経済効果でない
事実2: 「この公示価格は鍛造する」ということは本当だとしたらそれは榊でない
事実3: もし仮にこの公示価格が直接的経済効果でないならばあのヒエラルヒーは直接的経済効果でなくて踏まない

仮説: もしもこの公示価格が鍛造するならそのヒエラルヒーは直接的経済効果でなくてその上踏まない
1. 仮定1: 以下のように仮定する。この公示価格は鍛造する
2. 事実2と仮定1から、推論1: "この公示価格は榊であるということはない"が導かれる
3. 推論1と事実1から、推論2: "「この公示価格は直接的経済効果でない」ということは確かである"が導かれる
4. 推論2と事実3から、推論3: "そのヒエラルヒーは直接的経済効果でないしそれは踏まない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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