あの風体は染め付けだ
fact1: 仮に「この腱鞘はしぶといがしかしとろくない」ということは事実でないとすればその地区レベルは拡張する fact2: 仮にあの風体が筆写するとすると染め付けである fact3: 「この腱鞘はしぶといけどとろくない」ということは誤っている fact4: もし仮にこの腱鞘がとろいとしたらその地区レベルは拡張する fact5: なにかは遠慮会釈でない fact6: 「この腱鞘はしぶとくて更にとろい」ということは真実でない fact7: もし「その地区レベルは不運でない」ということは成り立つなら「この腱鞘は不運でない」ということは事実だ fact8: もしあの風体は最高ランクだということはない一方で各地方自治体だとすれば筆写する fact9: もしもその大きさは最高ランクでないとしたら「あの風体は最高ランクでないけれど各地方自治体である」ということは成り立つ fact10: もし「この腱鞘は拡張しなくて加えて各地方自治体でない」ということは誤りであるとすると「あの風体は拡張する」ということは本当である fact11: もしも「「とあるものは拡張するということはないがしかしそれは最高ランクである」ということは成り立つ」ということは成り立つということはないならそれは不運でない fact12: もしあるものは最高ランクだとすれば「それは拡張しないし各地方自治体でない」ということは事実であるということはない fact13: 仮に「その地区レベルは拡張するかあるいはそれは不運であるかもしくは両方である」ということは本当ならばその大きさは最高ランクでない
fact1 & fact3 -> int1: その地区レベルは拡張する; int1 -> int2: その地区レベルは拡張するかもしくは不運であるか両方ともである; int2 & fact13 -> int3: その大きさは最高ランクでない; int3 & fact9 -> int4: 「あの風体は最高ランクだということはない一方でそれは各地方自治体だ」ということは確かだ; int4 & fact8 -> int5: あの風体は筆写する; int5 & fact2 -> hypothesis;
「この腱鞘は不運でない」ということは成り立つ
fact15 -> int6: 「もし「その地区レベルは拡張するということはないけれど最高ランクだ」ということは誤りだとしたらその地区レベルは不運でない」ということは成り立つ;
$facts$ = fact1: 仮に「この腱鞘はしぶといがしかしとろくない」ということは事実でないとすればその地区レベルは拡張する fact2: 仮にあの風体が筆写するとすると染め付けである fact3: 「この腱鞘はしぶといけどとろくない」ということは誤っている fact4: もし仮にこの腱鞘がとろいとしたらその地区レベルは拡張する fact5: なにかは遠慮会釈でない fact6: 「この腱鞘はしぶとくて更にとろい」ということは真実でない fact7: もし「その地区レベルは不運でない」ということは成り立つなら「この腱鞘は不運でない」ということは事実だ fact8: もしあの風体は最高ランクだということはない一方で各地方自治体だとすれば筆写する fact9: もしもその大きさは最高ランクでないとしたら「あの風体は最高ランクでないけれど各地方自治体である」ということは成り立つ fact10: もし「この腱鞘は拡張しなくて加えて各地方自治体でない」ということは誤りであるとすると「あの風体は拡張する」ということは本当である fact11: もしも「「とあるものは拡張するということはないがしかしそれは最高ランクである」ということは成り立つ」ということは成り立つということはないならそれは不運でない fact12: もしあるものは最高ランクだとすれば「それは拡張しないし各地方自治体でない」ということは事実であるということはない fact13: 仮に「その地区レベルは拡張するかあるいはそれは不運であるかもしくは両方である」ということは本当ならばその大きさは最高ランクでない ; $hypothesis$ = あの風体は染め付けだ ; $proof$ = 
fact1 & fact3 -> int1: その地区レベルは拡張する; int1 -> int2: その地区レベルは拡張するかもしくは不運であるか両方ともである; int2 & fact13 -> int3: その大きさは最高ランクでない; int3 & fact9 -> int4: 「あの風体は最高ランクだということはない一方でそれは各地方自治体だ」ということは確かだ; int4 & fact8 -> int5: あの風体は筆写する; int5 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「この腱鞘はしぶといがしかしとろくない」ということは事実でないとすればその地区レベルは拡張する
事実2: 仮にあの風体が筆写するとすると染め付けである
事実3: 「この腱鞘はしぶといけどとろくない」ということは誤っている
事実4: もし仮にこの腱鞘がとろいとしたらその地区レベルは拡張する
事実5: なにかは遠慮会釈でない
事実6: 「この腱鞘はしぶとくて更にとろい」ということは真実でない
事実7: もし「その地区レベルは不運でない」ということは成り立つなら「この腱鞘は不運でない」ということは事実だ
事実8: もしあの風体は最高ランクだということはない一方で各地方自治体だとすれば筆写する
事実9: もしもその大きさは最高ランクでないとしたら「あの風体は最高ランクでないけれど各地方自治体である」ということは成り立つ
事実10: もし「この腱鞘は拡張しなくて加えて各地方自治体でない」ということは誤りであるとすると「あの風体は拡張する」ということは本当である
事実11: もしも「「とあるものは拡張するということはないがしかしそれは最高ランクである」ということは成り立つ」ということは成り立つということはないならそれは不運でない
事実12: もしあるものは最高ランクだとすれば「それは拡張しないし各地方自治体でない」ということは事実であるということはない
事実13: 仮に「その地区レベルは拡張するかあるいはそれは不運であるかもしくは両方である」ということは本当ならばその大きさは最高ランクでない

仮説: あの風体は染め付けだ
1. 事実1と事実3から、推論1: "その地区レベルは拡張する"が導かれる
2. 推論1から、推論2: "その地区レベルは拡張するかもしくは不運であるか両方ともである"が導かれる
3. 推論2と事実13から、推論3: "その大きさは最高ランクでない"が導かれる
4. 推論3と事実9から、推論4: "「あの風体は最高ランクだということはない一方でそれは各地方自治体だ」ということは確かだ"が導かれる
5. 推論4と事実8から、推論5: "あの風体は筆写する"が導かれる
6. 推論5と事実2から、仮説が導かれる

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