あの入館料は等しい
fact1: もし仮に「そのレインボーブリッジは社会組織でないけれどそれは食い詰める」ということは間違いだとしたらあの入館料は社会組織でない fact2: 「「けばけばしいし受け継ぐ」ということは成り立たない」ものはある fact3: もし「なんらかの物は走り易くて加えて等しい」ということは間違っているとすれば「等しくない」ということは成り立つ fact4: もし仮にこの五百万円以下は長径だとすると「そのレインボーブリッジは社会組織でないけれどそれは食い詰める」ということは間違いだ fact5: あの自動車関連は受け継ぐ fact6: 仮に「なんらかのものは活動し易くないしかつ起き易くない」ということは成り立たないならばそれは繊月でない fact7: その中国人達が食い詰めるならあの入館料は等しい fact8: もし仮にこの五百万円以下が社会組織であるとしたらあの自動車関連は長径だ fact9: 何らかのものは社会組織でないとしたら「それは走り易くて加えて等しい」ということは事実と異なる fact10: この募集時は透析療法でない fact11: その請け負い契約書は受け継ぐ fact12: その中国人達が起き易いとするとあの自動車関連は活動し易くないし更に繊月であるということはない fact13: もし仮にそのレインボーブリッジはつべたくてそれがけばけばしいならば走り易くない fact14: 仮に「なんらかの物は痛くないしまた割り開かない」ということは間違いだとしたらＵボート群でない fact15: あの自動車関連は受け継ぐとすれば「それは活動し易いということはないし起き易くない」ということは成り立たない fact16: もし仮にこの募集時は透析療法でないならば「そのヘルパー同士は痛くなくてまた割り開かない」ということは成り立たない fact17: 起き易いものは繊月でない fact18: もしもあの自動車関連が活動し易いということはなくてかつ繊月でないならこの五百万円以下は長径である fact19: もしこの五百万円以下が受け継ぐとしたらあの自動車関連は社会組織である fact20: もし仮に何らかの物はＵボート群でないなら「外来通院するしまたそれは自然増殖する」ということは事実と異なる fact21: もしそのレインボーブリッジはつべたくないがけばけばしいならばそれは走り易くない fact22: 「あの自動車関連は活動し易くない一方で起き易い」ということは事実であるということはない fact23: もしもそのレインボーブリッジが走り易いということはないならばあの五百万円以下は社会組織だ fact24: なんらかの物が繊月だということはないとすればそれは長径でない fact25: もし仮にあの庄津家が外来通院するということはないとするとその中国人達は起き易くてかつそれは受け継ぐ fact26: もし仮に「「つべたくないし更にけばけばしい」ということは嘘な」ものがあるならばあの中国人達は食い詰める
void -> assump1: 以下のように仮定する。そのレインボーブリッジはつべたくないがしかしそれはけばけばしい; fact21 & assump1 -> int1: そのレインボーブリッジは走り易くない; int1 & fact23 -> int2: 「この五百万円以下は社会組織である」ということは本当である; int2 & fact8 -> int3: あの自動車関連は長径だ; fact15 & fact5 -> int4: 「あの自動車関連は活動し易いということはなくて加えて起き易くない」ということは正しくない; fact6 -> int5: 仮に「あの自動車関連は活動し易くないし加えてそれは起き易くない」ということは誤っているなら繊月でない; int4 & int5 -> int6: あの自動車関連は繊月でない; fact24 -> int7: あの自動車関連は繊月でないとしたらそれは長径でない; int6 & int7 -> int8: 「あの自動車関連は長径だということはない」ということは本当だ; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「そのレインボーブリッジはつべたくない一方でけばけばしい」ということは間違いだ; int10 -> int11: 「「つべたいということはないけどけばけばしい」ということは嘘である」物はある; int11 & fact26 -> int12: その中国人達は食い詰める; int12 & fact7 -> hypothesis;
あの入館料は等しくない
fact37 -> int13: もしも「あの入館料は走り易くて更にそれは等しい」ということは成り立たないならばそれは等しくない; fact35 -> int14: あの入館料は社会組織であるということはないとしたら「走り易くてまた等しい」ということは成り立たない; fact36 -> int15: もしもそのヘルパー同士はＵボート群でないならば「外来通院するしさらに自然増殖する」ということは本当でない; fact29 -> int16: 仮に「そのヘルパー同士は痛くないしそれは割り開かない」ということは間違っていればＵボート群でない; fact32 & fact28 -> int17: 「そのヘルパー同士は痛くなくて割り開かない」ということは成り立たない; int16 & int17 -> int18: 「そのヘルパー同士はＵボート群でない」ということは本当だ; int15 & int18 -> int19: 「そのヘルパー同士は外来通院するししかも自然増殖する」ということは間違いだ; int19 -> int20: 「「外来通院するし更に自然増殖する」ということは成り立たない」物はある;
$facts$ = fact1: もし仮に「そのレインボーブリッジは社会組織でないけれどそれは食い詰める」ということは間違いだとしたらあの入館料は社会組織でない fact2: 「「けばけばしいし受け継ぐ」ということは成り立たない」ものはある fact3: もし「なんらかの物は走り易くて加えて等しい」ということは間違っているとすれば「等しくない」ということは成り立つ fact4: もし仮にこの五百万円以下は長径だとすると「そのレインボーブリッジは社会組織でないけれどそれは食い詰める」ということは間違いだ fact5: あの自動車関連は受け継ぐ fact6: 仮に「なんらかのものは活動し易くないしかつ起き易くない」ということは成り立たないならばそれは繊月でない fact7: その中国人達が食い詰めるならあの入館料は等しい fact8: もし仮にこの五百万円以下が社会組織であるとしたらあの自動車関連は長径だ fact9: 何らかのものは社会組織でないとしたら「それは走り易くて加えて等しい」ということは事実と異なる fact10: この募集時は透析療法でない fact11: その請け負い契約書は受け継ぐ fact12: その中国人達が起き易いとするとあの自動車関連は活動し易くないし更に繊月であるということはない fact13: もし仮にそのレインボーブリッジはつべたくてそれがけばけばしいならば走り易くない fact14: 仮に「なんらかの物は痛くないしまた割り開かない」ということは間違いだとしたらＵボート群でない fact15: あの自動車関連は受け継ぐとすれば「それは活動し易いということはないし起き易くない」ということは成り立たない fact16: もし仮にこの募集時は透析療法でないならば「そのヘルパー同士は痛くなくてまた割り開かない」ということは成り立たない fact17: 起き易いものは繊月でない fact18: もしもあの自動車関連が活動し易いということはなくてかつ繊月でないならこの五百万円以下は長径である fact19: もしこの五百万円以下が受け継ぐとしたらあの自動車関連は社会組織である fact20: もし仮に何らかの物はＵボート群でないなら「外来通院するしまたそれは自然増殖する」ということは事実と異なる fact21: もしそのレインボーブリッジはつべたくないがけばけばしいならばそれは走り易くない fact22: 「あの自動車関連は活動し易くない一方で起き易い」ということは事実であるということはない fact23: もしもそのレインボーブリッジが走り易いということはないならばあの五百万円以下は社会組織だ fact24: なんらかの物が繊月だということはないとすればそれは長径でない fact25: もし仮にあの庄津家が外来通院するということはないとするとその中国人達は起き易くてかつそれは受け継ぐ fact26: もし仮に「「つべたくないし更にけばけばしい」ということは嘘な」ものがあるならばあの中国人達は食い詰める ; $hypothesis$ = あの入館料は等しい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのレインボーブリッジはつべたくないがしかしそれはけばけばしい; fact21 & assump1 -> int1: そのレインボーブリッジは走り易くない; int1 & fact23 -> int2: 「この五百万円以下は社会組織である」ということは本当である; int2 & fact8 -> int3: あの自動車関連は長径だ; fact15 & fact5 -> int4: 「あの自動車関連は活動し易いということはなくて加えて起き易くない」ということは正しくない; fact6 -> int5: 仮に「あの自動車関連は活動し易くないし加えてそれは起き易くない」ということは誤っているなら繊月でない; int4 & int5 -> int6: あの自動車関連は繊月でない; fact24 -> int7: あの自動車関連は繊月でないとしたらそれは長径でない; int6 & int7 -> int8: 「あの自動車関連は長径だということはない」ということは本当だ; int3 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: 「そのレインボーブリッジはつべたくない一方でけばけばしい」ということは間違いだ; int10 -> int11: 「「つべたいということはないけどけばけばしい」ということは嘘である」物はある; int11 & fact26 -> int12: その中国人達は食い詰める; int12 & fact7 -> hypothesis; __PROVED__
事実1: もし仮に「そのレインボーブリッジは社会組織でないけれどそれは食い詰める」ということは間違いだとしたらあの入館料は社会組織でない
事実2: 「「けばけばしいし受け継ぐ」ということは成り立たない」ものはある
事実3: もし「なんらかの物は走り易くて加えて等しい」ということは間違っているとすれば「等しくない」ということは成り立つ
事実4: もし仮にこの五百万円以下は長径だとすると「そのレインボーブリッジは社会組織でないけれどそれは食い詰める」ということは間違いだ
事実5: あの自動車関連は受け継ぐ
事実6: 仮に「なんらかのものは活動し易くないしかつ起き易くない」ということは成り立たないならばそれは繊月でない
事実7: その中国人達が食い詰めるならあの入館料は等しい
事実8: もし仮にこの五百万円以下が社会組織であるとしたらあの自動車関連は長径だ
事実9: 何らかのものは社会組織でないとしたら「それは走り易くて加えて等しい」ということは事実と異なる
事実10: この募集時は透析療法でない
事実11: その請け負い契約書は受け継ぐ
事実12: その中国人達が起き易いとするとあの自動車関連は活動し易くないし更に繊月であるということはない
事実13: もし仮にそのレインボーブリッジはつべたくてそれがけばけばしいならば走り易くない
事実14: 仮に「なんらかの物は痛くないしまた割り開かない」ということは間違いだとしたらＵボート群でない
事実15: あの自動車関連は受け継ぐとすれば「それは活動し易いということはないし起き易くない」ということは成り立たない
事実16: もし仮にこの募集時は透析療法でないならば「そのヘルパー同士は痛くなくてまた割り開かない」ということは成り立たない
事実17: 起き易いものは繊月でない
事実18: もしもあの自動車関連が活動し易いということはなくてかつ繊月でないならこの五百万円以下は長径である
事実19: もしこの五百万円以下が受け継ぐとしたらあの自動車関連は社会組織である
事実20: もし仮に何らかの物はＵボート群でないなら「外来通院するしまたそれは自然増殖する」ということは事実と異なる
事実21: もしそのレインボーブリッジはつべたくないがけばけばしいならばそれは走り易くない
事実22: 「あの自動車関連は活動し易くない一方で起き易い」ということは事実であるということはない
事実23: もしもそのレインボーブリッジが走り易いということはないならばあの五百万円以下は社会組織だ
事実24: なんらかの物が繊月だということはないとすればそれは長径でない
事実25: もし仮にあの庄津家が外来通院するということはないとするとその中国人達は起き易くてかつそれは受け継ぐ
事実26: もし仮に「「つべたくないし更にけばけばしい」ということは嘘な」ものがあるならばあの中国人達は食い詰める

仮説: あの入館料は等しい
1. 仮定1: 以下のように仮定する。そのレインボーブリッジはつべたくないがしかしそれはけばけばしい
2. 事実21と仮定1から、推論1: "そのレインボーブリッジは走り易くない"が導かれる
3. 推論1と事実23から、推論2: "「この五百万円以下は社会組織である」ということは本当である"が導かれる
4. 推論2と事実8から、推論3: "あの自動車関連は長径だ"が導かれる
5. 事実15と事実5から、推論4: "「あの自動車関連は活動し易いということはなくて加えて起き易くない」ということは正しくない"が導かれる
6. 事実6から、推論5: "仮に「あの自動車関連は活動し易くないし加えてそれは起き易くない」ということは誤っているなら繊月でない"が導かれる
7. 推論4と推論5から、推論6: "あの自動車関連は繊月でない"が導かれる
8. 事実24から、推論7: "あの自動車関連は繊月でないとしたらそれは長径でない"が導かれる
9. 推論6と推論7から、推論8: "「あの自動車関連は長径だということはない」ということは本当だ"が導かれる
10. 推論3と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "「そのレインボーブリッジはつべたくない一方でけばけばしい」ということは間違いだ"が導かれる
12. 推論10から、推論11: "「「つべたいということはないけどけばけばしい」ということは嘘である」物はある"が導かれる
13. 推論11と事実26から、推論12: "その中国人達は食い詰める"が導かれる
14. 推論12と事実7から、仮説が導かれる

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