「あの組織的対応は塗り易くない」ということは確かである
fact1: もし「そのゴングは歩き易くないが再録する」ということは成り立たないならそれは再録しない fact2: もしも「なにがしかの物は付与すらないか面映ゆいかまたは両方である」ということは事実と異なるとすれば作業し易くない fact3: もし仮にそのゴングが再録しないならあの組織的対応は再録しない fact4: もしあの組織的対応は再録しないならば「あの外形理論は付与すらないかまたはそれは面映ゆいかまたは両方だ」ということは成り立つということはない fact5: 「作業し易いけど惜しいということはない」物はある fact6: 仮に作業し易いものが惜しくないとすればあの外形理論は生み易くない fact7: もしも「あの外形理論は傾き易くないけどそれは目新しい」ということは成り立つとすると「あの組織的対応は塗り易くない」ということは事実だ fact8: なにかは作業し易いということはないとしたらそれは塗り易くなくて加えて生み易い fact9: 仮に何らかのものは塗り易くないとしたら「言語脳であるということはないしさらに惜しい」ということは間違いだ fact10: 仮にそのゴングはステップだとすれば「それは歩き易くないがしかし再録する」ということは事実と異なる fact11: もし「あの外形理論は傾き易くないけれど目新しい」ということは成り立たないとしたら生み易い
void -> assump1: 以下のように仮定する。「「あの外形理論は傾き易くないけどそれは目新しい」ということは事実だ」ということは成り立つということはない; fact11 & assump1 -> int1: あの外形理論は生み易い; fact5 & fact6 -> int2: あの外形理論は生み易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの外形理論は傾き易いということはない一方で目新しい; int4 & fact7 -> hypothesis;
「「あの外形理論は言語脳でないがしかしそれは惜しい」ということは真実だ」ということは嘘である
fact16 -> int5: あの外形理論は塗り易いということはないならば「それは言語脳でなくてそれは惜しい」ということは嘘だ; fact13 -> int6: もし仮にあの外形理論は作業し易くないなら塗り易くないがしかし生み易い; fact14 -> int7: もし仮に「あの外形理論は付与すらないか面映ゆいかまたはどちらもである」ということは確かであるということはないとすると「作業し易くない」ということは成り立つ;
$facts$ = fact1: もし「そのゴングは歩き易くないが再録する」ということは成り立たないならそれは再録しない fact2: もしも「なにがしかの物は付与すらないか面映ゆいかまたは両方である」ということは事実と異なるとすれば作業し易くない fact3: もし仮にそのゴングが再録しないならあの組織的対応は再録しない fact4: もしあの組織的対応は再録しないならば「あの外形理論は付与すらないかまたはそれは面映ゆいかまたは両方だ」ということは成り立つということはない fact5: 「作業し易いけど惜しいということはない」物はある fact6: 仮に作業し易いものが惜しくないとすればあの外形理論は生み易くない fact7: もしも「あの外形理論は傾き易くないけどそれは目新しい」ということは成り立つとすると「あの組織的対応は塗り易くない」ということは事実だ fact8: なにかは作業し易いということはないとしたらそれは塗り易くなくて加えて生み易い fact9: 仮に何らかのものは塗り易くないとしたら「言語脳であるということはないしさらに惜しい」ということは間違いだ fact10: 仮にそのゴングはステップだとすれば「それは歩き易くないがしかし再録する」ということは事実と異なる fact11: もし「あの外形理論は傾き易くないけれど目新しい」ということは成り立たないとしたら生み易い ; $hypothesis$ = 「あの組織的対応は塗り易くない」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あの外形理論は傾き易くないけどそれは目新しい」ということは事実だ」ということは成り立つということはない; fact11 & assump1 -> int1: あの外形理論は生み易い; fact5 & fact6 -> int2: あの外形理論は生み易いということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの外形理論は傾き易いということはない一方で目新しい; int4 & fact7 -> hypothesis; __PROVED__
事実1: もし「そのゴングは歩き易くないが再録する」ということは成り立たないならそれは再録しない
事実2: もしも「なにがしかの物は付与すらないか面映ゆいかまたは両方である」ということは事実と異なるとすれば作業し易くない
事実3: もし仮にそのゴングが再録しないならあの組織的対応は再録しない
事実4: もしあの組織的対応は再録しないならば「あの外形理論は付与すらないかまたはそれは面映ゆいかまたは両方だ」ということは成り立つということはない
事実5: 「作業し易いけど惜しいということはない」物はある
事実6: 仮に作業し易いものが惜しくないとすればあの外形理論は生み易くない
事実7: もしも「あの外形理論は傾き易くないけどそれは目新しい」ということは成り立つとすると「あの組織的対応は塗り易くない」ということは事実だ
事実8: なにかは作業し易いということはないとしたらそれは塗り易くなくて加えて生み易い
事実9: 仮に何らかのものは塗り易くないとしたら「言語脳であるということはないしさらに惜しい」ということは間違いだ
事実10: 仮にそのゴングはステップだとすれば「それは歩き易くないがしかし再録する」ということは事実と異なる
事実11: もし「あの外形理論は傾き易くないけれど目新しい」ということは成り立たないとしたら生み易い

仮説: 「あの組織的対応は塗り易くない」ということは確かである
1. 仮定1: 以下のように仮定する。「「あの外形理論は傾き易くないけどそれは目新しい」ということは事実だ」ということは成り立つということはない
2. 事実11と仮定1から、推論1: "あの外形理論は生み易い"が導かれる
3. 事実5と事実6から、推論2: "あの外形理論は生み易いということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの外形理論は傾き易いということはない一方で目新しい"が導かれる
6. 推論4と事実7から、仮説が導かれる

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