「その人だかりは黄色いということはないけど選べる」ということは誤りである
fact1: その書き物は狂わす fact2: 「迷信深い」物はある fact3: その人だかりが迷信深いとしたらそれは選べる fact4: もし仮に「その付属建物は忘れ易いかまたは駆除しない」ということは間違っているなら迷信深くない fact5: 仮にその人だかりが容赦するということはないとすればそれは忘れ易くておまけにそれは駆除する fact6: もしもとある物は打ち立てないけど行き詰まればそれは容赦しない fact7: 「建造出来る」ものはある fact8: もしこのニュース映画が忘れ易いとすればそれは迷信深い fact9: もしもなにかは選べるということはないとしたら「黄色いし第一旅団だ」ということは成り立つということはない fact10: もしも「この気温変動は第一旅団でない」ということは確かならば「その人だかりは黄色くないけれど選べる」ということは成り立たない fact11: 「建造出来るし迷信深い」物があるとするとこの気温変動は第一旅団だということはない fact12: 仮にこのニュース映画が狂わせば建造出来る fact13: 「その人だかりは迷信深いしそれは選べる」ということは誤っている fact14: 何かは狂わすとすれば黄色くないがしかし選べる fact15: このニュース映画は忘れ易い fact16: もしも「なにがしかの物は忘れ易い」ということは確かならば「それは迷信深いけれど第一旅団でない」ということは嘘である fact17: もしもその人だかりは選べないとしたら「この気温変動は忘れ易いしおまけにそれは第一旅団だ」ということは誤りである fact18: 「この気温変動は黄色くないがしかし第一旅団である」ということは成り立たない fact19: 「その付属建物は忘れ易いか駆除しない」ということは成り立たない fact20: このニュース映画が狂わさないならばあの付属建物は狂わす fact21: このニュース映画は狂わす fact22: もしも「なんらかの物は建造出来る」ということは本当だとするとそれは狂わす fact23: この気温変動は迷信深い
fact12 & fact21 -> int1: このニュース映画は建造出来る; fact15 & fact8 -> int2: このニュース映画は迷信深い; int1 & int2 -> int3: このニュース映画は建造出来るししかも迷信深い; int3 -> int4: 「「建造出来るし迷信深い」ということは嘘でない」ものはある; int4 & fact11 -> int5: この気温変動は第一旅団でない; int5 & fact10 -> hypothesis;
その付属建物は狂わすしまたタイトルらしい
fact27 -> int6: このニュース映画は選べないとすれば「それは黄色くてそれに第一旅団である」ということは成り立たない; fact26 & fact25 -> 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$ = 
fact12 & fact21 -> int1: このニュース映画は建造出来る; fact15 & fact8 -> int2: このニュース映画は迷信深い; int1 & int2 -> int3: このニュース映画は建造出来るししかも迷信深い; int3 -> int4: 「「建造出来るし迷信深い」ということは嘘でない」ものはある; int4 & fact11 -> int5: この気温変動は第一旅団でない; int5 & fact10 -> 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: この気温変動は迷信深い

仮説: 「その人だかりは黄色いということはないけど選べる」ということは誤りである
1. 事実12と事実21から、推論1: "このニュース映画は建造出来る"が導かれる
2. 事実15と事実8から、推論2: "このニュース映画は迷信深い"が導かれる
3. 推論1と推論2から、推論3: "このニュース映画は建造出来るししかも迷信深い"が導かれる
4. 推論3から、推論4: "「「建造出来るし迷信深い」ということは嘘でない」ものはある"が導かれる
5. 推論4と事実11から、推論5: "この気温変動は第一旅団でない"が導かれる
6. 推論5と事実10から、仮説が導かれる

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