この航海は疑わしということはない
fact1: 何らかの物がＭＩＤＩ音源でないとすればそれが誇りっぽいしその上デビルである fact2: もし仮にこの国領は招き易いとすると「あの性格行動相談は変化対応型だということはないかあるいはそれは歩き難くない」ということは成り立たない fact3: もし仮に継続時間バーはデビルであるとすればそれは招き易い fact4: もしあの性格行動相談が誇りっぽいということはないとすると継続時間バーで更にそれはデビルでない fact5: 「あの性格行動相談は変化対応型である」ということは事実だ fact6: 「その自然は継続時間バーであるかあるいは想像し易くないか両方ともである」ということは成り立たないならこの国領は招き易い fact7: 「歩き難い」ものはある fact8: 仮にあの性格行動相談は継続時間バーだしデビルであるとしたら招き易い fact9: もし仮に「歩き難くない」物があるならこの航海は想像し易いししかもそれは疑わし fact10: あの性格行動相談はデビルでない fact11: 仮に何らかのものが継続時間バーだけれどデビルでないならばそれは招き易い fact12: 仮にあるものは投げ打つということはないとすれば「集英社文庫でない一方で色温度だ」ということは間違っている fact13: なにがしかのものが歩き難くないとすればあの航海は想像し易い fact14: 「あの性格行動相談は変化対応型でないかもしくはそれは歩き難くないかまたは両方だ」ということは偽だとすればこの航海は疑わしない fact15: この航海は想像し易い fact16: もしもあるものはデビルであるとしたら「それは継続時間バーであるかもしくはそれは想像し易くないかまたはどちらもだ」ということは成り立たない fact17: もし仮に「この旧雨社小伝は集英社文庫でないけど色温度である」ということは成り立つということはないとすればそれは山頂直下である fact18: もし歩き難い物は変化対応型ならば「招き易くない」ということは成り立つ fact19: もし仮に「このサックスは投げ打つしさらに目覚ましい」ということは成り立たないとするとこの旧雨社小伝は投げ打たない fact20: もしこの旧雨社小伝が山頂直下ならその自然は睡眠不足でないし更にＭＩＤＩ音源でない fact21: あの性格行動相談は誇りっぽくない fact22: 「もし「あの性格行動相談は誇りっぽくない」ということは本当だとするとあの性格行動相談はデビルであるということはない」ということは真実である
void -> assump1: 以下のように仮定する。あの性格行動相談は歩き難い; assump1 & fact5 -> int1: あの性格行動相談は歩き難くてそれに変化対応型だ; fact18 -> int2: 仮にあの性格行動相談が歩き難いしおまけに変化対応型だとしたらそれは招き易くない; int1 & int2 -> int3: 「あの性格行動相談は招き易くない」ということは本当である; fact11 -> int4: 「あの性格行動相談は継続時間バーであるけどデビルでない」ということは本当だとしたらそれは招き易い; fact4 & fact21 -> int5: あの性格行動相談は継続時間バーだけどデビルでない; int4 & int5 -> int6: あの性格行動相談は招き易い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの性格行動相談は歩き難くない; int8 -> int9: 「歩き難くない」ものはある; int9 & fact9 -> int10: 「この航海は想像し易いしそれに疑わし」ということは確かである; int10 -> hypothesis;
この航海は疑わしない
fact27 -> int11: もし仮にその自然はデビルであるとしたら「継続時間バーであるかまたは想像し易くないか両方だ」ということは成り立たない; fact30 -> int12: 仮にその自然はＭＩＤＩ音源でないならば誇りっぽくてデビルである; fact23 -> 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: 以下のように仮定する。あの性格行動相談は歩き難い; assump1 & fact5 -> int1: あの性格行動相談は歩き難くてそれに変化対応型だ; fact18 -> int2: 仮にあの性格行動相談が歩き難いしおまけに変化対応型だとしたらそれは招き易くない; int1 & int2 -> int3: 「あの性格行動相談は招き易くない」ということは本当である; fact11 -> int4: 「あの性格行動相談は継続時間バーであるけどデビルでない」ということは本当だとしたらそれは招き易い; fact4 & fact21 -> int5: あの性格行動相談は継続時間バーだけどデビルでない; int4 & int5 -> int6: あの性格行動相談は招き易い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの性格行動相談は歩き難くない; int8 -> int9: 「歩き難くない」ものはある; int9 & fact9 -> int10: 「この航海は想像し易いしそれに疑わし」ということは確かである; int10 -> hypothesis; __DISPROVED__
事実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. 仮定1と事実5から、推論1: "あの性格行動相談は歩き難くてそれに変化対応型だ"が導かれる
3. 事実18から、推論2: "仮にあの性格行動相談が歩き難いしおまけに変化対応型だとしたらそれは招き易くない"が導かれる
4. 推論1と推論2から、推論3: "「あの性格行動相談は招き易くない」ということは本当である"が導かれる
5. 事実11から、推論4: "「あの性格行動相談は継続時間バーであるけどデビルでない」ということは本当だとしたらそれは招き易い"が導かれる
6. 事実4と事実21から、推論5: "あの性格行動相談は継続時間バーだけどデビルでない"が導かれる
7. 推論4と推論5から、推論6: "あの性格行動相談は招き易い"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの性格行動相談は歩き難くない"が導かれる
10. 推論8から、推論9: "「歩き難くない」ものはある"が導かれる
11. 推論9と事実9から、推論10: "「この航海は想像し易いしそれに疑わし」ということは確かである"が導かれる
12. 推論10から、仮説が否定される

よって、仮説が否定されました。