「その両舷は任せ切らない」ということは事実である
fact1: もし仮にこの一個軍団が始点だけど複写しないならばその両舷は始点でない fact2: 「この一個軍団は拡大・縮小しないし加えて給油しない」ということは成り立つ fact3: この火鉢は給油する fact4: 「その両舷は複写するしそれに言い終わる」ということは真実である fact5: もしもこの一個軍団が拡大・縮小しなくてかつ給油しないならば複写する fact6: 全ては惣だけれど伴い易いということはない fact7: 全ては付け難くておまけに始点でない fact8: もし何らかのものが任せ切るということはないならばあの乱張りは始点でなくておまけに褒めそやさない fact9: もし仮に「複写するし更に拡大・縮小する」物はあるとすると「この一個軍団は任せ切らない」ということは事実だ fact10: もしもこの一個軍団が付け難いしその上褒めそやすとすればあの両舷は任せ切らない fact11: あの神気が給油しないか拡大・縮小するかもしくはどちらもであるとするとこの一個軍団は褒めそやさない fact12: 仮にこの一個軍団が拡大・縮小しないけれど給油するなら複写する fact13: なにがしかのものはテンプレート変数だ fact14: もし仮になんらかのものは始点でないしそれに褒めそやさないとすればそれは付け難い fact15: もしもなんらかのものが言い終わるということはないなら給油しないかもしくは拡大・縮小するかあるいは両方である fact16: もし何らかの物が複写するとしたら褒めそやす fact17: あの神気はテンプレート変数だ fact18: 「あの神気はしどけないけどそれは拡大・縮小しない」ということは成り立たないならその両舷は拡大・縮小する fact19: もしもあの神気はテンプレート変数なら「しどけないしさらにそれは拡大・縮小しない」ということは成り立つということはない fact20: どれもこれもは疲れ易い fact21: この一個軍団は父親らしいし更にちぎれ易い
fact7 -> int1: そのXは付け難いけどそれは始点だということはない; int1 -> int2: そのXは付け難い; int2 -> int3: あらゆるものは付け難い; int3 -> int4: この一個軍団は付け難い; fact5 & fact2 -> int5: この一個軍団は複写する; fact16 -> int6: もしもこの一個軍団が複写するとすれば褒めそやす; int5 & int6 -> int7: この一個軍団は褒めそやす; int4 & int7 -> int8: この一個軍団は付け難いしまた褒めそやす; int8 & fact10 -> hypothesis;
その両舷は任せ切る
fact23 -> int9: あの神気が言い終わらないならば給油しないか拡大・縮小するかあるいは両方ともだ;
$facts$ = fact1: もし仮にこの一個軍団が始点だけど複写しないならばその両舷は始点でない fact2: 「この一個軍団は拡大・縮小しないし加えて給油しない」ということは成り立つ fact3: この火鉢は給油する fact4: 「その両舷は複写するしそれに言い終わる」ということは真実である fact5: もしもこの一個軍団が拡大・縮小しなくてかつ給油しないならば複写する fact6: 全ては惣だけれど伴い易いということはない fact7: 全ては付け難くておまけに始点でない fact8: もし何らかのものが任せ切るということはないならばあの乱張りは始点でなくておまけに褒めそやさない fact9: もし仮に「複写するし更に拡大・縮小する」物はあるとすると「この一個軍団は任せ切らない」ということは事実だ fact10: もしもこの一個軍団が付け難いしその上褒めそやすとすればあの両舷は任せ切らない fact11: あの神気が給油しないか拡大・縮小するかもしくはどちらもであるとするとこの一個軍団は褒めそやさない fact12: 仮にこの一個軍団が拡大・縮小しないけれど給油するなら複写する fact13: なにがしかのものはテンプレート変数だ fact14: もし仮になんらかのものは始点でないしそれに褒めそやさないとすればそれは付け難い fact15: もしもなんらかのものが言い終わるということはないなら給油しないかもしくは拡大・縮小するかあるいは両方である fact16: もし何らかの物が複写するとしたら褒めそやす fact17: あの神気はテンプレート変数だ fact18: 「あの神気はしどけないけどそれは拡大・縮小しない」ということは成り立たないならその両舷は拡大・縮小する fact19: もしもあの神気はテンプレート変数なら「しどけないしさらにそれは拡大・縮小しない」ということは成り立つということはない fact20: どれもこれもは疲れ易い fact21: この一個軍団は父親らしいし更にちぎれ易い ; $hypothesis$ = 「その両舷は任せ切らない」ということは事実である ; $proof$ = 
fact7 -> int1: そのXは付け難いけどそれは始点だということはない; int1 -> int2: そのXは付け難い; int2 -> int3: あらゆるものは付け難い; int3 -> int4: この一個軍団は付け難い; fact5 & fact2 -> int5: この一個軍団は複写する; fact16 -> int6: もしもこの一個軍団が複写するとすれば褒めそやす; int5 & int6 -> int7: この一個軍団は褒めそやす; int4 & int7 -> int8: この一個軍団は付け難いしまた褒めそやす; int8 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にこの一個軍団が始点だけど複写しないならばその両舷は始点でない
事実2: 「この一個軍団は拡大・縮小しないし加えて給油しない」ということは成り立つ
事実3: この火鉢は給油する
事実4: 「その両舷は複写するしそれに言い終わる」ということは真実である
事実5: もしもこの一個軍団が拡大・縮小しなくてかつ給油しないならば複写する
事実6: 全ては惣だけれど伴い易いということはない
事実7: 全ては付け難くておまけに始点でない
事実8: もし何らかのものが任せ切るということはないならばあの乱張りは始点でなくておまけに褒めそやさない
事実9: もし仮に「複写するし更に拡大・縮小する」物はあるとすると「この一個軍団は任せ切らない」ということは事実だ
事実10: もしもこの一個軍団が付け難いしその上褒めそやすとすればあの両舷は任せ切らない
事実11: あの神気が給油しないか拡大・縮小するかもしくはどちらもであるとするとこの一個軍団は褒めそやさない
事実12: 仮にこの一個軍団が拡大・縮小しないけれど給油するなら複写する
事実13: なにがしかのものはテンプレート変数だ
事実14: もし仮になんらかのものは始点でないしそれに褒めそやさないとすればそれは付け難い
事実15: もしもなんらかのものが言い終わるということはないなら給油しないかもしくは拡大・縮小するかあるいは両方である
事実16: もし何らかの物が複写するとしたら褒めそやす
事実17: あの神気はテンプレート変数だ
事実18: 「あの神気はしどけないけどそれは拡大・縮小しない」ということは成り立たないならその両舷は拡大・縮小する
事実19: もしもあの神気はテンプレート変数なら「しどけないしさらにそれは拡大・縮小しない」ということは成り立つということはない
事実20: どれもこれもは疲れ易い
事実21: この一個軍団は父親らしいし更にちぎれ易い

仮説: 「その両舷は任せ切らない」ということは事実である
1. 事実7から、推論1: "そのXは付け難いけどそれは始点だということはない"が導かれる
2. 推論1から、推論2: "そのXは付け難い"が導かれる
3. 推論2から、推論3: "あらゆるものは付け難い"が導かれる
4. 推論3から、推論4: "この一個軍団は付け難い"が導かれる
5. 事実5と事実2から、推論5: "この一個軍団は複写する"が導かれる
6. 事実16から、推論6: "もしもこの一個軍団が複写するとすれば褒めそやす"が導かれる
7. 推論5と推論6から、推論7: "この一個軍団は褒めそやす"が導かれる
8. 推論4と推論7から、推論8: "この一個軍団は付け難いしまた褒めそやす"が導かれる
9. 推論8と事実10から、仮説が導かれる

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