その内的連関は長ーい
fact1: あの開店前は可愛らしい fact2: もしも「なんらかの物はペプチドホルモンであるがしかし可愛らしくない」ということは成り立つとしたら長ーい fact3: もしその打設がペプチドホルモンでないとするとその内的連関がペプチドホルモンだけどそれは可愛らしくない fact4: 「益無しない」物はある fact5: もし仮に「描き易いということはない」物があるならばあの打設はペプチドホルモンでない fact6: その内的連関は可愛らしいかもしくはペプチドホルモンであるかまたはどちらもだ fact7: とある物は動かし難い fact8: この回復操作は長ーくない fact9: 仮に何らかの物は産生しなくて加えて描き易くないとするとそれは長ーくない fact10: 甲斐甲斐しい物が捧げないとしたらそれは小難しい fact11: もし「なにかは描き易いけれど産生するということはない」ということは成り立たないならそれは馴染み深い fact12: もしもあの開店前が塞ぐし加えてさ小屋するとしたら描き易い fact13: もしなにかは馴染み深いとすると塞がない fact14: その江戸患いが産生するとすればこの回復操作は塞ぐ fact15: もし仮にとある物はさ小屋するかあるいは馴染み深いかあるいは両方ともだとするとそれは塞がない fact16: 仮にあの開店前が描き易いとすればその江戸患いは産生する fact17: 仮にあの開店前が塞ぐならあの超格子は塞がない fact18: この回復操作は描き易い fact19: この墓地跡はさ小屋する fact20: この回復操作はさ小屋する fact21: 「この回復操作は可愛らしくない」ということは本当ならばその江戸患いは長ーくない fact22: もし仮に何らかのものは塞がないとしたら「描き易いし産生しない」ということは成り立たない
void -> assump1: 以下のように仮定する。「あの開店前は描き易い」ということは成り立つ; fact16 & assump1 -> int1: その江戸患いは産生する; int1 & fact14 -> int2: この回復操作は塞ぐ; fact15 -> int3: もしこの回復操作はさ小屋するかまたは馴染み深いかあるいはどちらもであるとするとそれは塞ぐということはない; fact20 -> int4: この回復操作はさ小屋するかまたは馴染み深いかあるいは両方ともである; int3 & int4 -> int5: この回復操作は塞がない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの開店前は描き易くない; int7 -> int8: 「「描き易くない」ということは間違いでない」ものはある; int8 & fact5 -> int9: その打設はペプチドホルモンだということはない; int9 & fact3 -> int10: その内的連関はペプチドホルモンだけれど可愛らしくない; fact2 -> int11: もし仮にその内的連関はペプチドホルモンだけれど可愛らしくないならそれは長ーい; int10 & int11 -> hypothesis;
あの超格子は馴染み深い
fact23 -> int12: もし「あの超格子は描き易いけど産生しない」ということは間違いであるならば馴染み深い; fact25 -> int13: もしもあの超格子は塞がないならば「描き易いけれど産生しない」ということは確かでない;
$facts$ = fact1: あの開店前は可愛らしい fact2: もしも「なんらかの物はペプチドホルモンであるがしかし可愛らしくない」ということは成り立つとしたら長ーい fact3: もしその打設がペプチドホルモンでないとするとその内的連関がペプチドホルモンだけどそれは可愛らしくない fact4: 「益無しない」物はある fact5: もし仮に「描き易いということはない」物があるならばあの打設はペプチドホルモンでない fact6: その内的連関は可愛らしいかもしくはペプチドホルモンであるかまたはどちらもだ fact7: とある物は動かし難い fact8: この回復操作は長ーくない fact9: 仮に何らかの物は産生しなくて加えて描き易くないとするとそれは長ーくない fact10: 甲斐甲斐しい物が捧げないとしたらそれは小難しい fact11: もし「なにかは描き易いけれど産生するということはない」ということは成り立たないならそれは馴染み深い fact12: もしもあの開店前が塞ぐし加えてさ小屋するとしたら描き易い fact13: もしなにかは馴染み深いとすると塞がない fact14: その江戸患いが産生するとすればこの回復操作は塞ぐ fact15: もし仮にとある物はさ小屋するかあるいは馴染み深いかあるいは両方ともだとするとそれは塞がない fact16: 仮にあの開店前が描き易いとすればその江戸患いは産生する fact17: 仮にあの開店前が塞ぐならあの超格子は塞がない fact18: この回復操作は描き易い fact19: この墓地跡はさ小屋する fact20: この回復操作はさ小屋する fact21: 「この回復操作は可愛らしくない」ということは本当ならばその江戸患いは長ーくない fact22: もし仮に何らかのものは塞がないとしたら「描き易いし産生しない」ということは成り立たない ; $hypothesis$ = その内的連関は長ーい ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの開店前は描き易い」ということは成り立つ; fact16 & assump1 -> int1: その江戸患いは産生する; int1 & fact14 -> int2: この回復操作は塞ぐ; fact15 -> int3: もしこの回復操作はさ小屋するかまたは馴染み深いかあるいはどちらもであるとするとそれは塞ぐということはない; fact20 -> int4: この回復操作はさ小屋するかまたは馴染み深いかあるいは両方ともである; int3 & int4 -> int5: この回復操作は塞がない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの開店前は描き易くない; int7 -> int8: 「「描き易くない」ということは間違いでない」ものはある; int8 & fact5 -> int9: その打設はペプチドホルモンだということはない; int9 & fact3 -> int10: その内的連関はペプチドホルモンだけれど可愛らしくない; fact2 -> int11: もし仮にその内的連関はペプチドホルモンだけれど可愛らしくないならそれは長ーい; int10 & int11 -> hypothesis; __PROVED__
事実1: あの開店前は可愛らしい
事実2: もしも「なんらかの物はペプチドホルモンであるがしかし可愛らしくない」ということは成り立つとしたら長ーい
事実3: もしその打設がペプチドホルモンでないとするとその内的連関がペプチドホルモンだけどそれは可愛らしくない
事実4: 「益無しない」物はある
事実5: もし仮に「描き易いということはない」物があるならばあの打設はペプチドホルモンでない
事実6: その内的連関は可愛らしいかもしくはペプチドホルモンであるかまたはどちらもだ
事実7: とある物は動かし難い
事実8: この回復操作は長ーくない
事実9: 仮に何らかの物は産生しなくて加えて描き易くないとするとそれは長ーくない
事実10: 甲斐甲斐しい物が捧げないとしたらそれは小難しい
事実11: もし「なにかは描き易いけれど産生するということはない」ということは成り立たないならそれは馴染み深い
事実12: もしもあの開店前が塞ぐし加えてさ小屋するとしたら描き易い
事実13: もしなにかは馴染み深いとすると塞がない
事実14: その江戸患いが産生するとすればこの回復操作は塞ぐ
事実15: もし仮にとある物はさ小屋するかあるいは馴染み深いかあるいは両方ともだとするとそれは塞がない
事実16: 仮にあの開店前が描き易いとすればその江戸患いは産生する
事実17: 仮にあの開店前が塞ぐならあの超格子は塞がない
事実18: この回復操作は描き易い
事実19: この墓地跡はさ小屋する
事実20: この回復操作はさ小屋する
事実21: 「この回復操作は可愛らしくない」ということは本当ならばその江戸患いは長ーくない
事実22: もし仮に何らかのものは塞がないとしたら「描き易いし産生しない」ということは成り立たない

仮説: その内的連関は長ーい
1. 仮定1: 以下のように仮定する。「あの開店前は描き易い」ということは成り立つ
2. 事実16と仮定1から、推論1: "その江戸患いは産生する"が導かれる
3. 推論1と事実14から、推論2: "この回復操作は塞ぐ"が導かれる
4. 事実15から、推論3: "もしこの回復操作はさ小屋するかまたは馴染み深いかあるいはどちらもであるとするとそれは塞ぐということはない"が導かれる
5. 事実20から、推論4: "この回復操作はさ小屋するかまたは馴染み深いかあるいは両方ともである"が導かれる
6. 推論3と推論4から、推論5: "この回復操作は塞がない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの開店前は描き易くない"が導かれる
9. 推論7から、推論8: "「「描き易くない」ということは間違いでない」ものはある"が導かれる
10. 推論8と事実5から、推論9: "その打設はペプチドホルモンだということはない"が導かれる
11. 推論9と事実3から、推論10: "その内的連関はペプチドホルモンだけれど可愛らしくない"が導かれる
12. 事実2から、推論11: "もし仮にその内的連関はペプチドホルモンだけれど可愛らしくないならそれは長ーい"が導かれる
13. 推論10と推論11から、仮説が導かれる

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