あの単勝は折衷するということはない
fact1: 仮にあの単勝は見苦しくないとしたら「「下町だし第一尚氏王統である」ということは確かだ」ということは成り立たない fact2: なにかは浮沈でないとするとそれは敵中深いし加えて折衷する fact3: あの両袖は敵中深いしその上マクロ・モデルである fact4: この胚乳はギリシャ文字であるかまたはそれは厳つかないかもしくは両方ともである fact5: 「あの単勝は下町であるしかつそれは第一尚氏王統だ」ということは成り立たない fact6: あの両袖が浮沈でその上敵中深いならあの単勝は見苦しいということはない fact7: あの今作は自治体病院であるし照れ臭い fact8: あの両袖はアメリカっぽいしかつギリシャ文字である fact9: あの両袖はマクロ・モデルだ fact10: もし仮にあの単勝は見苦しくないとすれば「それは下町だがしかし第一尚氏王統であるということはない」ということは嘘だ fact11: この胚乳は折衷する fact12: もし仮にあの単勝は第一尚氏王統であるとすれば「それは折衷するということはない」ということは成り立つ fact13: もしも「「あの単勝は下町であるがしかし第一尚氏王統だということはない」ということは成り立たない」ということは成り立つとしたら「それは折衷しない」ということは真実である fact14: もし仮にこの胚乳はギリシャ文字であるかもしくは厳つかないかどちらもならば「あの両袖は浮沈である」ということは確かである fact15: この胚乳がギリシャ文字だとしたらあの両袖は浮沈である
fact14 & fact4 -> int1: あの両袖は浮沈だ; fact3 -> int2: あの両袖は敵中深い; int1 & int2 -> int3: あの両袖は浮沈であるしまた敵中深い; int3 & fact6 -> int4: あの単勝は見苦しくない; int4 & fact10 -> int5: 「「あの単勝は下町であるがしかしそれは第一尚氏王統だということはない」ということは誤っている」ということは確かだ; int5 & fact13 -> hypothesis;
あの単勝は折衷する
fact16 -> int6: もしもあの単勝は浮沈でないとすると敵中深くてまた折衷する;
$facts$ = fact1: 仮にあの単勝は見苦しくないとしたら「「下町だし第一尚氏王統である」ということは確かだ」ということは成り立たない fact2: なにかは浮沈でないとするとそれは敵中深いし加えて折衷する fact3: あの両袖は敵中深いしその上マクロ・モデルである fact4: この胚乳はギリシャ文字であるかまたはそれは厳つかないかもしくは両方ともである fact5: 「あの単勝は下町であるしかつそれは第一尚氏王統だ」ということは成り立たない fact6: あの両袖が浮沈でその上敵中深いならあの単勝は見苦しいということはない fact7: あの今作は自治体病院であるし照れ臭い fact8: あの両袖はアメリカっぽいしかつギリシャ文字である fact9: あの両袖はマクロ・モデルだ fact10: もし仮にあの単勝は見苦しくないとすれば「それは下町だがしかし第一尚氏王統であるということはない」ということは嘘だ fact11: この胚乳は折衷する fact12: もし仮にあの単勝は第一尚氏王統であるとすれば「それは折衷するということはない」ということは成り立つ fact13: もしも「「あの単勝は下町であるがしかし第一尚氏王統だということはない」ということは成り立たない」ということは成り立つとしたら「それは折衷しない」ということは真実である fact14: もし仮にこの胚乳はギリシャ文字であるかもしくは厳つかないかどちらもならば「あの両袖は浮沈である」ということは確かである fact15: この胚乳がギリシャ文字だとしたらあの両袖は浮沈である ; $hypothesis$ = あの単勝は折衷するということはない ; $proof$ = 
fact14 & fact4 -> int1: あの両袖は浮沈だ; fact3 -> int2: あの両袖は敵中深い; int1 & int2 -> int3: あの両袖は浮沈であるしまた敵中深い; int3 & fact6 -> int4: あの単勝は見苦しくない; int4 & fact10 -> int5: 「「あの単勝は下町であるがしかしそれは第一尚氏王統だということはない」ということは誤っている」ということは確かだ; int5 & fact13 -> hypothesis; __PROVED__
事実1: 仮にあの単勝は見苦しくないとしたら「「下町だし第一尚氏王統である」ということは確かだ」ということは成り立たない
事実2: なにかは浮沈でないとするとそれは敵中深いし加えて折衷する
事実3: あの両袖は敵中深いしその上マクロ・モデルである
事実4: この胚乳はギリシャ文字であるかまたはそれは厳つかないかもしくは両方ともである
事実5: 「あの単勝は下町であるしかつそれは第一尚氏王統だ」ということは成り立たない
事実6: あの両袖が浮沈でその上敵中深いならあの単勝は見苦しいということはない
事実7: あの今作は自治体病院であるし照れ臭い
事実8: あの両袖はアメリカっぽいしかつギリシャ文字である
事実9: あの両袖はマクロ・モデルだ
事実10: もし仮にあの単勝は見苦しくないとすれば「それは下町だがしかし第一尚氏王統であるということはない」ということは嘘だ
事実11: この胚乳は折衷する
事実12: もし仮にあの単勝は第一尚氏王統であるとすれば「それは折衷するということはない」ということは成り立つ
事実13: もしも「「あの単勝は下町であるがしかし第一尚氏王統だということはない」ということは成り立たない」ということは成り立つとしたら「それは折衷しない」ということは真実である
事実14: もし仮にこの胚乳はギリシャ文字であるかもしくは厳つかないかどちらもならば「あの両袖は浮沈である」ということは確かである
事実15: この胚乳がギリシャ文字だとしたらあの両袖は浮沈である

仮説: あの単勝は折衷するということはない
1. 事実14と事実4から、推論1: "あの両袖は浮沈だ"が導かれる
2. 事実3から、推論2: "あの両袖は敵中深い"が導かれる
3. 推論1と推論2から、推論3: "あの両袖は浮沈であるしまた敵中深い"が導かれる
4. 推論3と事実6から、推論4: "あの単勝は見苦しくない"が導かれる
5. 推論4と事実10から、推論5: "「「あの単勝は下町であるがしかしそれは第一尚氏王統だということはない」ということは誤っている」ということは確かだ"が導かれる
6. 推論5と事実13から、仮説が導かれる

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