もし仮にその地方長官が仰せ付ければあの直進車は受け辛い
fact1: このＨＴＴＰは受け辛い fact2: もしなんらかの物が遠ざかるとすると受け辛い fact3: あの直進車は仰せ付ける fact4: その地方長官が仰せ付けるとすればあの経済モデルは逆戻りするということはなくてそれは六車線でない fact5: もし「何かはダーティ・ワークでないがしかし見初める」ということは成り立たないならば眠くない fact6: もし仮に何かは遠ざかるとすればそれは逆戻りする fact7: あの白米は六車線でない fact8: この経済モデルは六車線でない fact9: その地方長官が仰せ付けるならこの経済モデルは六車線でない fact10: 仮になにかは見え易くないとしたら「ダーティ・ワークでないがしかし見初める」ということは成り立たない fact11: 何もかもは見え易いということはない fact12: この経済モデルは手痛い fact13: あの直進車は軽々しかない fact14: もしもこの経済モデルが逆戻りしないとしたらあの直進車は遠ざかる fact15: その地方長官は六車線だ fact16: あのピクチャレスクは受け辛い
void -> assump1: 以下のように仮定する。その地方長官は仰せ付ける; fact4 & assump1 -> int1: この経済モデルは逆戻りしなくてまた六車線でない; int1 -> int2: この経済モデルは逆戻りしない; int2 & fact14 -> int3: あの直進車は遠ざかる; fact2 -> int4: 「あの直進車は遠ざかる」ということは確かだとするとそれは受け辛い; int3 & int4 -> int5: あの直進車は受け辛い; [assump1] & int5 -> hypothesis;
その地方長官は遠ざかる
fact17 -> int6: もしこのノーザンは見え易くないとしたら「それはダーティ・ワークでなくてそれにそれは見初める」ということは間違いだ; fact19 -> int7: このノーザンは見え易くない; int6 & int7 -> int8: 「このノーザンはダーティ・ワークでない一方で見初める」ということは間違いだ; int8 -> int9: それはダーティ・ワークであるということはないしそれにそれは見初めるという物はない; int9 -> int10: 「あの先行きはダーティ・ワークでないけれど見初める」ということは確かでない; fact18 -> int11: 「あの先行きはダーティ・ワークでないがしかし見初める」ということは間違いだとするとそれは眠くない; int10 & int11 -> int12: あの先行きは眠くない; int12 -> int13: 全ての物は眠くない; int13 -> int14: あの直進車は眠くない;
$facts$ = fact1: このＨＴＴＰは受け辛い fact2: もしなんらかの物が遠ざかるとすると受け辛い fact3: あの直進車は仰せ付ける fact4: その地方長官が仰せ付けるとすればあの経済モデルは逆戻りするということはなくてそれは六車線でない fact5: もし「何かはダーティ・ワークでないがしかし見初める」ということは成り立たないならば眠くない fact6: もし仮に何かは遠ざかるとすればそれは逆戻りする fact7: あの白米は六車線でない fact8: この経済モデルは六車線でない fact9: その地方長官が仰せ付けるならこの経済モデルは六車線でない fact10: 仮になにかは見え易くないとしたら「ダーティ・ワークでないがしかし見初める」ということは成り立たない fact11: 何もかもは見え易いということはない fact12: この経済モデルは手痛い fact13: あの直進車は軽々しかない fact14: もしもこの経済モデルが逆戻りしないとしたらあの直進車は遠ざかる fact15: その地方長官は六車線だ fact16: あのピクチャレスクは受け辛い ; $hypothesis$ = もし仮にその地方長官が仰せ付ければあの直進車は受け辛い ; $proof$ = 
void -> assump1: 以下のように仮定する。その地方長官は仰せ付ける; fact4 & assump1 -> int1: この経済モデルは逆戻りしなくてまた六車線でない; int1 -> int2: この経済モデルは逆戻りしない; int2 & fact14 -> int3: あの直進車は遠ざかる; fact2 -> int4: 「あの直進車は遠ざかる」ということは確かだとするとそれは受け辛い; int3 & int4 -> int5: あの直進車は受け辛い; [assump1] & int5 -> hypothesis; __PROVED__
事実1: このＨＴＴＰは受け辛い
事実2: もしなんらかの物が遠ざかるとすると受け辛い
事実3: あの直進車は仰せ付ける
事実4: その地方長官が仰せ付けるとすればあの経済モデルは逆戻りするということはなくてそれは六車線でない
事実5: もし「何かはダーティ・ワークでないがしかし見初める」ということは成り立たないならば眠くない
事実6: もし仮に何かは遠ざかるとすればそれは逆戻りする
事実7: あの白米は六車線でない
事実8: この経済モデルは六車線でない
事実9: その地方長官が仰せ付けるならこの経済モデルは六車線でない
事実10: 仮になにかは見え易くないとしたら「ダーティ・ワークでないがしかし見初める」ということは成り立たない
事実11: 何もかもは見え易いということはない
事実12: この経済モデルは手痛い
事実13: あの直進車は軽々しかない
事実14: もしもこの経済モデルが逆戻りしないとしたらあの直進車は遠ざかる
事実15: その地方長官は六車線だ
事実16: あのピクチャレスクは受け辛い

仮説: もし仮にその地方長官が仰せ付ければあの直進車は受け辛い
1. 仮定1: 以下のように仮定する。その地方長官は仰せ付ける
2. 事実4と仮定1から、推論1: "この経済モデルは逆戻りしなくてまた六車線でない"が導かれる
3. 推論1から、推論2: "この経済モデルは逆戻りしない"が導かれる
4. 推論2と事実14から、推論3: "あの直進車は遠ざかる"が導かれる
5. 事実2から、推論4: "「あの直進車は遠ざかる」ということは確かだとするとそれは受け辛い"が導かれる
6. 推論3と推論4から、推論5: "あの直進車は受け辛い"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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