「この千倍以上は歩き易い」ということは事実である
fact1: もしなんらかの物が目標達成度だとすれば歩き易い fact2: もし仮にあるものは再出発するなら「それは作文する」ということは確かである fact3: 見極め難い物は操作し易い fact4: 「「軍需でないがしかし近付ける」ということは誤っている」ものはある fact5: もしある物が作文するとすればそれは目標達成度だ fact6: あのガティは歩き易い fact7: もしも「「軍需だということはなくてかつ近付ける」ということは事実と異なる」物はあるとしたら「この千倍以上は御付き合い下さる」ということは誤っていない fact8: この千倍以上は近付ける fact9: 仮にこの千倍以上が再出発するとすると御断り致す fact10: 仮になんらかのものが御付き合い下さるとしたら再出発する fact11: 「「立ち往生しないし胆だ」ということは偽である」物はある
fact4 & fact7 -> int1: この千倍以上は御付き合い下さる; fact10 -> int2: 「この千倍以上は御付き合い下さる」ということは成り立つとすれば再出発する; int1 & int2 -> int3: この千倍以上は再出発する; fact2 -> int4: もし仮にこの千倍以上が再出発するとすると作文する; int3 & int4 -> int5: この千倍以上は作文する; fact5 -> int6: もし仮にこの千倍以上が作文するならそれは目標達成度だ; int5 & int6 -> int7: この千倍以上は目標達成度である; fact1 -> int8: もしこの千倍以上は目標達成度であるとすればそれは歩き易い; int7 & int8 -> hypothesis;
$facts$ = fact1: もしなんらかの物が目標達成度だとすれば歩き易い fact2: もし仮にあるものは再出発するなら「それは作文する」ということは確かである fact3: 見極め難い物は操作し易い fact4: 「「軍需でないがしかし近付ける」ということは誤っている」ものはある fact5: もしある物が作文するとすればそれは目標達成度だ fact6: あのガティは歩き易い fact7: もしも「「軍需だということはなくてかつ近付ける」ということは事実と異なる」物はあるとしたら「この千倍以上は御付き合い下さる」ということは誤っていない fact8: この千倍以上は近付ける fact9: 仮にこの千倍以上が再出発するとすると御断り致す fact10: 仮になんらかのものが御付き合い下さるとしたら再出発する fact11: 「「立ち往生しないし胆だ」ということは偽である」物はある ; $hypothesis$ = 「この千倍以上は歩き易い」ということは事実である ; $proof$ = 
fact4 & fact7 -> int1: この千倍以上は御付き合い下さる; fact10 -> int2: 「この千倍以上は御付き合い下さる」ということは成り立つとすれば再出発する; int1 & int2 -> int3: この千倍以上は再出発する; fact2 -> int4: もし仮にこの千倍以上が再出発するとすると作文する; int3 & int4 -> int5: この千倍以上は作文する; fact5 -> int6: もし仮にこの千倍以上が作文するならそれは目標達成度だ; int5 & int6 -> int7: この千倍以上は目標達成度である; fact1 -> int8: もしこの千倍以上は目標達成度であるとすればそれは歩き易い; int7 & int8 -> hypothesis; __PROVED__
事実1: もしなんらかの物が目標達成度だとすれば歩き易い
事実2: もし仮にあるものは再出発するなら「それは作文する」ということは確かである
事実3: 見極め難い物は操作し易い
事実4: 「「軍需でないがしかし近付ける」ということは誤っている」ものはある
事実5: もしある物が作文するとすればそれは目標達成度だ
事実6: あのガティは歩き易い
事実7: もしも「「軍需だということはなくてかつ近付ける」ということは事実と異なる」物はあるとしたら「この千倍以上は御付き合い下さる」ということは誤っていない
事実8: この千倍以上は近付ける
事実9: 仮にこの千倍以上が再出発するとすると御断り致す
事実10: 仮になんらかのものが御付き合い下さるとしたら再出発する
事実11: 「「立ち往生しないし胆だ」ということは偽である」物はある

仮説: 「この千倍以上は歩き易い」ということは事実である
1. 事実4と事実7から、推論1: "この千倍以上は御付き合い下さる"が導かれる
2. 事実10から、推論2: "「この千倍以上は御付き合い下さる」ということは成り立つとすれば再出発する"が導かれる
3. 推論1と推論2から、推論3: "この千倍以上は再出発する"が導かれる
4. 事実2から、推論4: "もし仮にこの千倍以上が再出発するとすると作文する"が導かれる
5. 推論3と推論4から、推論5: "この千倍以上は作文する"が導かれる
6. 事実5から、推論6: "もし仮にこの千倍以上が作文するならそれは目標達成度だ"が導かれる
7. 推論5と推論6から、推論7: "この千倍以上は目標達成度である"が導かれる
8. 事実1から、推論8: "もしこの千倍以上は目標達成度であるとすればそれは歩き易い"が導かれる
9. 推論7と推論8から、仮説が導かれる

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