「あの童歌は観光客らしくない」ということは確かである
fact1: ある物は練習法だということはないが岩陰である fact2: あの聖人達が観光客らしいということはないならばあの童歌は招き兼ねる一方で義務化しない fact3: 「あの聖人達は練習法でまた岩陰だ」ということは事実と異なる fact4: 「あの聖人達は偏り易い」ということは真実である fact5: このアイシングは義務化しない fact6: あの聖人達が義務化するしその上それは招き兼ねる fact7: もし仮にこのアイシングが飛び続けないとすればあの童歌は装飾用でない fact8: 「練習法である」物があるならばあのアイシングは飛び続けない fact9: 仮にあの聖人達は招き兼ねるとすれば「「それは練習法であるし更に岩陰である」ということは成り立つ」ということは成り立たない fact10: もし「なにがしかのものは招き兼ねる」ということは嘘でないならば「それは練習法でない一方で岩陰である」ということは偽である fact11: もし仮にこのアイシングが飛び続けないとするとあの童歌は観光客らしい一方で装飾用でない fact12: 「このアイシングは岩陰である」ということは確かだ fact13: もし仮に「「飛び続けないしそれに義務化する」ということは成り立たない」ものがあるとするとこのアイシングは招き兼ねない fact14: もし仮に何かは招き兼ねれば「練習法だしおまけに岩陰だ」ということは偽だ fact15: 「「岩陰でなくて飛び続ける」ということは成り立たない」物はある fact16: 「あの聖人達は義務化する」ということは確かである fact17: 「「練習法でないし岩陰である」ということは間違っている」ものがあるならこのアイシングは飛び続けない fact18: 「「練習法だし更に岩陰だ」ということは確かであるということはない」ものはある fact19: とあるものは飛び続けるしさらに招き兼ねればそれは練習法でない fact20: あるものは招き兼ねるとすれば「それは観光客らしくないしそれは岩陰である」ということは偽である fact21: このアイシングは観光客らしい fact22: 「あの童歌は装飾用でない」ということは確かである fact23: もし仮にこのアイシングは義務化するとすれば「招き兼ねないけど飛び続ける」ということは誤りだ
fact10 -> int1: あの聖人達は招き兼ねれば「練習法でないししかもそれは岩陰である」ということは誤っている; fact6 -> int2: あの聖人達は招き兼ねる; int1 & int2 -> int3: 「あの聖人達は練習法でないけど岩陰である」ということは誤りだ; int3 -> int4: 「「練習法であるということはないけれど岩陰である」ということは成り立たない」物はある; int4 & fact17 -> int5: 「このアイシングは飛び続けない」ということは真実だ; int5 & fact11 -> int6: あの童歌は観光客らしいが装飾用でない; int6 -> hypothesis;
あの鎮魂帰神は練習法でない
fact24 -> int7: もしあの鎮魂帰神は飛び続けるし招き兼ねるなら練習法でない;
$facts$ = fact1: ある物は練習法だということはないが岩陰である fact2: あの聖人達が観光客らしいということはないならばあの童歌は招き兼ねる一方で義務化しない fact3: 「あの聖人達は練習法でまた岩陰だ」ということは事実と異なる fact4: 「あの聖人達は偏り易い」ということは真実である fact5: このアイシングは義務化しない fact6: あの聖人達が義務化するしその上それは招き兼ねる fact7: もし仮にこのアイシングが飛び続けないとすればあの童歌は装飾用でない fact8: 「練習法である」物があるならばあのアイシングは飛び続けない fact9: 仮にあの聖人達は招き兼ねるとすれば「「それは練習法であるし更に岩陰である」ということは成り立つ」ということは成り立たない fact10: もし「なにがしかのものは招き兼ねる」ということは嘘でないならば「それは練習法でない一方で岩陰である」ということは偽である fact11: もし仮にこのアイシングが飛び続けないとするとあの童歌は観光客らしい一方で装飾用でない fact12: 「このアイシングは岩陰である」ということは確かだ fact13: もし仮に「「飛び続けないしそれに義務化する」ということは成り立たない」ものがあるとするとこのアイシングは招き兼ねない fact14: もし仮に何かは招き兼ねれば「練習法だしおまけに岩陰だ」ということは偽だ fact15: 「「岩陰でなくて飛び続ける」ということは成り立たない」物はある fact16: 「あの聖人達は義務化する」ということは確かである fact17: 「「練習法でないし岩陰である」ということは間違っている」ものがあるならこのアイシングは飛び続けない fact18: 「「練習法だし更に岩陰だ」ということは確かであるということはない」ものはある fact19: とあるものは飛び続けるしさらに招き兼ねればそれは練習法でない fact20: あるものは招き兼ねるとすれば「それは観光客らしくないしそれは岩陰である」ということは偽である fact21: このアイシングは観光客らしい fact22: 「あの童歌は装飾用でない」ということは確かである fact23: もし仮にこのアイシングは義務化するとすれば「招き兼ねないけど飛び続ける」ということは誤りだ ; $hypothesis$ = 「あの童歌は観光客らしくない」ということは確かである ; $proof$ = 
fact10 -> int1: あの聖人達は招き兼ねれば「練習法でないししかもそれは岩陰である」ということは誤っている; fact6 -> int2: あの聖人達は招き兼ねる; int1 & int2 -> int3: 「あの聖人達は練習法でないけど岩陰である」ということは誤りだ; int3 -> int4: 「「練習法であるということはないけれど岩陰である」ということは成り立たない」物はある; int4 & fact17 -> int5: 「このアイシングは飛び続けない」ということは真実だ; int5 & fact11 -> int6: あの童歌は観光客らしいが装飾用でない; int6 -> hypothesis; __DISPROVED__
事実1: ある物は練習法だということはないが岩陰である
事実2: あの聖人達が観光客らしいということはないならばあの童歌は招き兼ねる一方で義務化しない
事実3: 「あの聖人達は練習法でまた岩陰だ」ということは事実と異なる
事実4: 「あの聖人達は偏り易い」ということは真実である
事実5: このアイシングは義務化しない
事実6: あの聖人達が義務化するしその上それは招き兼ねる
事実7: もし仮にこのアイシングが飛び続けないとすればあの童歌は装飾用でない
事実8: 「練習法である」物があるならばあのアイシングは飛び続けない
事実9: 仮にあの聖人達は招き兼ねるとすれば「「それは練習法であるし更に岩陰である」ということは成り立つ」ということは成り立たない
事実10: もし「なにがしかのものは招き兼ねる」ということは嘘でないならば「それは練習法でない一方で岩陰である」ということは偽である
事実11: もし仮にこのアイシングが飛び続けないとするとあの童歌は観光客らしい一方で装飾用でない
事実12: 「このアイシングは岩陰である」ということは確かだ
事実13: もし仮に「「飛び続けないしそれに義務化する」ということは成り立たない」ものがあるとするとこのアイシングは招き兼ねない
事実14: もし仮に何かは招き兼ねれば「練習法だしおまけに岩陰だ」ということは偽だ
事実15: 「「岩陰でなくて飛び続ける」ということは成り立たない」物はある
事実16: 「あの聖人達は義務化する」ということは確かである
事実17: 「「練習法でないし岩陰である」ということは間違っている」ものがあるならこのアイシングは飛び続けない
事実18: 「「練習法だし更に岩陰だ」ということは確かであるということはない」ものはある
事実19: とあるものは飛び続けるしさらに招き兼ねればそれは練習法でない
事実20: あるものは招き兼ねるとすれば「それは観光客らしくないしそれは岩陰である」ということは偽である
事実21: このアイシングは観光客らしい
事実22: 「あの童歌は装飾用でない」ということは確かである
事実23: もし仮にこのアイシングは義務化するとすれば「招き兼ねないけど飛び続ける」ということは誤りだ

仮説: 「あの童歌は観光客らしくない」ということは確かである
1. 事実10から、推論1: "あの聖人達は招き兼ねれば「練習法でないししかもそれは岩陰である」ということは誤っている"が導かれる
2. 事実6から、推論2: "あの聖人達は招き兼ねる"が導かれる
3. 推論1と推論2から、推論3: "「あの聖人達は練習法でないけど岩陰である」ということは誤りだ"が導かれる
4. 推論3から、推論4: "「「練習法であるということはないけれど岩陰である」ということは成り立たない」物はある"が導かれる
5. 推論4と事実17から、推論5: "「このアイシングは飛び続けない」ということは真実だ"が導かれる
6. 推論5と事実11から、推論6: "あの童歌は観光客らしいが装飾用でない"が導かれる
7. 推論6から、仮説が否定される

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