なにがしかのものは構え易いしさらに設置形態だ
fact1: あの第二試合は藤学園である fact2: 「構え易い」ものはある fact3: もしこのトレッドミルが構え易いということはないとしたらあの第二試合は構え易いしまたごっつい fact4: 「とあるものは中国史料でなくておまけに脾摘しない」ということは成り立たないとしたら設置形態だ fact5: 何らかの物は瑞々しくない fact6: もしもあの第二試合は藤学園であるとすると「「それは中国史料であるということはなくて加えてそれは脾摘するということはない」ということは真実だ」ということは誤りである fact7: 仮にとある物が瑞々しくないとするとこのトレッドミルは構え易くない fact8: もし仮にこのトレッドミルが瑞々しいならばその昭和維新は中国史料だ
fact5 & fact7 -> int1: 「このトレッドミルは構え易くない」ということは成り立つ; int1 & fact3 -> int2: あの第二試合は構え易いしおまけにそれはごっつい; int2 -> int3: あの第二試合は構え易い; fact1 & fact6 -> int4: 「あの第二試合は中国史料でないし更にそれは脾摘しない」ということは成り立たない; fact4 -> int5: もしも「あの第二試合は中国史料でなくてそれに脾摘しない」ということは成り立たないとするとそれは設置形態だ; int4 & int5 -> int6: あの第二試合は設置形態である; int3 & int6 -> int7: あの第二試合は構え易いし設置形態である; int7 -> hypothesis;
その昭和維新は中国史料だ
$facts$ = fact1: あの第二試合は藤学園である fact2: 「構え易い」ものはある fact3: もしこのトレッドミルが構え易いということはないとしたらあの第二試合は構え易いしまたごっつい fact4: 「とあるものは中国史料でなくておまけに脾摘しない」ということは成り立たないとしたら設置形態だ fact5: 何らかの物は瑞々しくない fact6: もしもあの第二試合は藤学園であるとすると「「それは中国史料であるということはなくて加えてそれは脾摘するということはない」ということは真実だ」ということは誤りである fact7: 仮にとある物が瑞々しくないとするとこのトレッドミルは構え易くない fact8: もし仮にこのトレッドミルが瑞々しいならばその昭和維新は中国史料だ ; $hypothesis$ = なにがしかのものは構え易いしさらに設置形態だ ; $proof$ = 
fact5 & fact7 -> int1: 「このトレッドミルは構え易くない」ということは成り立つ; int1 & fact3 -> int2: あの第二試合は構え易いしおまけにそれはごっつい; int2 -> int3: あの第二試合は構え易い; fact1 & fact6 -> int4: 「あの第二試合は中国史料でないし更にそれは脾摘しない」ということは成り立たない; fact4 -> int5: もしも「あの第二試合は中国史料でなくてそれに脾摘しない」ということは成り立たないとするとそれは設置形態だ; int4 & int5 -> int6: あの第二試合は設置形態である; int3 & int6 -> int7: あの第二試合は構え易いし設置形態である; int7 -> hypothesis; __PROVED__
事実1: あの第二試合は藤学園である
事実2: 「構え易い」ものはある
事実3: もしこのトレッドミルが構え易いということはないとしたらあの第二試合は構え易いしまたごっつい
事実4: 「とあるものは中国史料でなくておまけに脾摘しない」ということは成り立たないとしたら設置形態だ
事実5: 何らかの物は瑞々しくない
事実6: もしもあの第二試合は藤学園であるとすると「「それは中国史料であるということはなくて加えてそれは脾摘するということはない」ということは真実だ」ということは誤りである
事実7: 仮にとある物が瑞々しくないとするとこのトレッドミルは構え易くない
事実8: もし仮にこのトレッドミルが瑞々しいならばその昭和維新は中国史料だ

仮説: なにがしかのものは構え易いしさらに設置形態だ
1. 事実5と事実7から、推論1: "「このトレッドミルは構え易くない」ということは成り立つ"が導かれる
2. 推論1と事実3から、推論2: "あの第二試合は構え易いしおまけにそれはごっつい"が導かれる
3. 推論2から、推論3: "あの第二試合は構え易い"が導かれる
4. 事実1と事実6から、推論4: "「あの第二試合は中国史料でないし更にそれは脾摘しない」ということは成り立たない"が導かれる
5. 事実4から、推論5: "もしも「あの第二試合は中国史料でなくてそれに脾摘しない」ということは成り立たないとするとそれは設置形態だ"が導かれる
6. 推論4と推論5から、推論6: "あの第二試合は設置形態である"が導かれる
7. 推論3と推論6から、推論7: "あの第二試合は構え易いし設置形態である"が導かれる
8. 推論7から、仮説が導かれる

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