「その安売りは鳴り止む」ということは正しい
fact1: もしとある物は熟知しなくておまけに素晴らしいということはないならば関係深い fact2: 何らかの物はＦＮＳであるということはないとすると「鳴り止むということはない」ということは本当である fact3: 仮にその臨海公園が素晴らしいとしたらこの無医地区は熟知しないかもしくはＦＮＳでないかあるいはどちらもだ fact4: 「その臨海公園は内応しない一方でそれはコナン達である」ということは成り立つとすればその安売りは鳴り止む fact5: あの大恐慌後は工作するしおまけに内応する fact6: もしなにかはＦＮＳでないとしたらこの無医地区は熟知しなくてそれは素晴らしいということはない fact7: もしもとある物が熟知するとすればそれは鳴り止まなくてかつＦＮＳでない fact8: この無医地区はＯ君でない fact9: 「「ＦＮＳでない」ということは成り立つ」物はある fact10: もし仮にその臨海公園が目まぐるしいということはないとすればそれは関係深くない fact11: なにかは工作しないとしたらそれは内応しないがしかしコナン達だ fact12: もしあの大恐慌後は工作すれば「このファン投票は関係深くなくておまけにＯ君でない」ということは間違っている fact13: もし仮に関係深くないものは鳴り止まないとしたら「それは工作する」ということは成り立つ fact14: もしこの無医地区が関係深い一方でＯ君でないならばその臨海公園は工作しない fact15: 仮にこの無医地区が素晴らしいならばその安売りは素晴らしい fact16: その臨海公園が素晴らしいとするとこの無医地区は素晴らしい fact17: もし仮にこの無医地区が鳴り止まない一方でそれが素晴らしいとしたらその安売りは熟知する fact18: なにかはからしないとしたらそれは荒振らない一方で経営統合する
fact9 & fact6 -> int1: この無医地区は熟知しないし更に素晴らしくない; fact1 -> int2: もしも「この無医地区は熟知しないしおまけに素晴らしくない」ということは成り立てばそれは関係深い; int1 & int2 -> int3: この無医地区は関係深い; int3 & fact8 -> int4: この無医地区は関係深いがそれはＯ君でない; int4 & fact14 -> int5: その臨海公園は工作しない; fact11 -> int6: もし仮にその臨海公園は工作しないなら「それは内応しないがしかしコナン達だ」ということは成り立つ; int5 & int6 -> int7: その臨海公園は内応するということはない一方でそれはコナン達である; int7 & fact4 -> hypothesis;
「その安売りは鳴り止む」ということは事実と異なる
fact21 -> int8: もしその安売りが熟知するとしたらそれは鳴り止まないしまたＦＮＳだということはない;
$facts$ = fact1: もしとある物は熟知しなくておまけに素晴らしいということはないならば関係深い fact2: 何らかの物はＦＮＳであるということはないとすると「鳴り止むということはない」ということは本当である fact3: 仮にその臨海公園が素晴らしいとしたらこの無医地区は熟知しないかもしくはＦＮＳでないかあるいはどちらもだ fact4: 「その臨海公園は内応しない一方でそれはコナン達である」ということは成り立つとすればその安売りは鳴り止む fact5: あの大恐慌後は工作するしおまけに内応する fact6: もしなにかはＦＮＳでないとしたらこの無医地区は熟知しなくてそれは素晴らしいということはない fact7: もしもとある物が熟知するとすればそれは鳴り止まなくてかつＦＮＳでない fact8: この無医地区はＯ君でない fact9: 「「ＦＮＳでない」ということは成り立つ」物はある fact10: もし仮にその臨海公園が目まぐるしいということはないとすればそれは関係深くない fact11: なにかは工作しないとしたらそれは内応しないがしかしコナン達だ fact12: もしあの大恐慌後は工作すれば「このファン投票は関係深くなくておまけにＯ君でない」ということは間違っている fact13: もし仮に関係深くないものは鳴り止まないとしたら「それは工作する」ということは成り立つ fact14: もしこの無医地区が関係深い一方でＯ君でないならばその臨海公園は工作しない fact15: 仮にこの無医地区が素晴らしいならばその安売りは素晴らしい fact16: その臨海公園が素晴らしいとするとこの無医地区は素晴らしい fact17: もし仮にこの無医地区が鳴り止まない一方でそれが素晴らしいとしたらその安売りは熟知する fact18: なにかはからしないとしたらそれは荒振らない一方で経営統合する ; $hypothesis$ = 「その安売りは鳴り止む」ということは正しい ; $proof$ = 
fact9 & fact6 -> int1: この無医地区は熟知しないし更に素晴らしくない; fact1 -> int2: もしも「この無医地区は熟知しないしおまけに素晴らしくない」ということは成り立てばそれは関係深い; int1 & int2 -> int3: この無医地区は関係深い; int3 & fact8 -> int4: この無医地区は関係深いがそれはＯ君でない; int4 & fact14 -> int5: その臨海公園は工作しない; fact11 -> int6: もし仮にその臨海公園は工作しないなら「それは内応しないがしかしコナン達だ」ということは成り立つ; int5 & int6 -> int7: その臨海公園は内応するということはない一方でそれはコナン達である; int7 & fact4 -> hypothesis; __PROVED__
事実1: もしとある物は熟知しなくておまけに素晴らしいということはないならば関係深い
事実2: 何らかの物はＦＮＳであるということはないとすると「鳴り止むということはない」ということは本当である
事実3: 仮にその臨海公園が素晴らしいとしたらこの無医地区は熟知しないかもしくはＦＮＳでないかあるいはどちらもだ
事実4: 「その臨海公園は内応しない一方でそれはコナン達である」ということは成り立つとすればその安売りは鳴り止む
事実5: あの大恐慌後は工作するしおまけに内応する
事実6: もしなにかはＦＮＳでないとしたらこの無医地区は熟知しなくてそれは素晴らしいということはない
事実7: もしもとある物が熟知するとすればそれは鳴り止まなくてかつＦＮＳでない
事実8: この無医地区はＯ君でない
事実9: 「「ＦＮＳでない」ということは成り立つ」物はある
事実10: もし仮にその臨海公園が目まぐるしいということはないとすればそれは関係深くない
事実11: なにかは工作しないとしたらそれは内応しないがしかしコナン達だ
事実12: もしあの大恐慌後は工作すれば「このファン投票は関係深くなくておまけにＯ君でない」ということは間違っている
事実13: もし仮に関係深くないものは鳴り止まないとしたら「それは工作する」ということは成り立つ
事実14: もしこの無医地区が関係深い一方でＯ君でないならばその臨海公園は工作しない
事実15: 仮にこの無医地区が素晴らしいならばその安売りは素晴らしい
事実16: その臨海公園が素晴らしいとするとこの無医地区は素晴らしい
事実17: もし仮にこの無医地区が鳴り止まない一方でそれが素晴らしいとしたらその安売りは熟知する
事実18: なにかはからしないとしたらそれは荒振らない一方で経営統合する

仮説: 「その安売りは鳴り止む」ということは正しい
1. 事実9と事実6から、推論1: "この無医地区は熟知しないし更に素晴らしくない"が導かれる
2. 事実1から、推論2: "もしも「この無医地区は熟知しないしおまけに素晴らしくない」ということは成り立てばそれは関係深い"が導かれる
3. 推論1と推論2から、推論3: "この無医地区は関係深い"が導かれる
4. 推論3と事実8から、推論4: "この無医地区は関係深いがそれはＯ君でない"が導かれる
5. 推論4と事実14から、推論5: "その臨海公園は工作しない"が導かれる
6. 事実11から、推論6: "もし仮にその臨海公園は工作しないなら「それは内応しないがしかしコナン達だ」ということは成り立つ"が導かれる
7. 推論5と推論6から、推論7: "その臨海公園は内応するということはない一方でそれはコナン達である"が導かれる
8. 推論7と事実4から、仮説が導かれる

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