その道祖王はサンプリングする
fact1: その隔ては奏さない fact2: 仮にその道祖王がちっちゃくなくておまけにそれがどでかいということはないならサンプリングする fact3: もしもなにがしかの物が奏さないならちっちゃいということはなくて出し続けない fact4: もしその道祖王はちっちゃいがどでかくないならサンプリングする fact5: 望ましくらないものは出し続けないしさらにサンプリングしない fact6: もし仮にその隔てがちっちゃくないけれど奏すとすればその道祖王はサンプリングしない fact7: その隔ては奏すということはない一方で望ましい fact8: その隔てが奏さないけれど望ましいならばあの道祖王は出し続けない fact9: その隔てはちっちゃくない fact10: 「あの一時的使用はちっちゃくない」ということは成り立つ fact11: もしその道祖王が出し続けるということはないとすればそれはちっちゃくない fact12: もしも何かはプラスイメージでないならば勝ち易くないし加えてそれは彼らしくない fact13: もしもあるものが出し続けないとするとちっちゃくない fact14: 仮にその隔ては奏すし望ましいとすると「その道祖王は出し続けない」ということは正しい fact15: その道祖王はちっちゃくない fact16: もしもなにがしかのものが出し続けないとすればちっちゃくないしさらにどでかくない fact17: そのアナベル・ステイブリーはどでかい fact18: なにがしかの物が望ましいということはないならサンプリングしなくて出し続けない fact19: もし「なにかはどでかくないかあるいはそれは出し続ける」ということは真実でないとすればサンプリングしない
fact8 & fact7 -> int1: その道祖王は出し続けるということはない; fact16 -> int2: 仮にその道祖王が出し続けないならばそれはちっちゃくなくて加えてどでかくない; int1 & int2 -> int3: その道祖王はちっちゃくなくてどでかくない; int3 & fact2 -> hypothesis;
fact8 & fact7 -> int1: ¬{B}{b}; fact16 -> int2: ¬{B}{b} -> (¬{C}{b} & ¬{A}{b}); int1 & int2 -> int3: (¬{C}{b} & ¬{A}{b}); int3 & fact2 -> hypothesis;
その道祖王はサンプリングするということはない
fact20 -> int4: もし仮に「その道祖王はどでかくないかまたは出し続けるかあるいは両方ともだ」ということは成り立たないとするとそれはサンプリングしない;
$facts$ = fact1: その隔ては奏さない fact2: 仮にその道祖王がちっちゃくなくておまけにそれがどでかいということはないならサンプリングする fact3: もしもなにがしかの物が奏さないならちっちゃいということはなくて出し続けない fact4: もしその道祖王はちっちゃいがどでかくないならサンプリングする fact5: 望ましくらないものは出し続けないしさらにサンプリングしない fact6: もし仮にその隔てがちっちゃくないけれど奏すとすればその道祖王はサンプリングしない fact7: その隔ては奏すということはない一方で望ましい fact8: その隔てが奏さないけれど望ましいならばあの道祖王は出し続けない fact9: その隔てはちっちゃくない fact10: 「あの一時的使用はちっちゃくない」ということは成り立つ fact11: もしその道祖王が出し続けるということはないとすればそれはちっちゃくない fact12: もしも何かはプラスイメージでないならば勝ち易くないし加えてそれは彼らしくない fact13: もしもあるものが出し続けないとするとちっちゃくない fact14: 仮にその隔ては奏すし望ましいとすると「その道祖王は出し続けない」ということは正しい fact15: その道祖王はちっちゃくない fact16: もしもなにがしかのものが出し続けないとすればちっちゃくないしさらにどでかくない fact17: そのアナベル・ステイブリーはどでかい fact18: なにがしかの物が望ましいということはないならサンプリングしなくて出し続けない fact19: もし「なにかはどでかくないかあるいはそれは出し続ける」ということは真実でないとすればサンプリングしない ; $hypothesis$ = その道祖王はサンプリングする ; $proof$ = 
fact8 & fact7 -> int1: その道祖王は出し続けるということはない; fact16 -> int2: 仮にその道祖王が出し続けないならばそれはちっちゃくなくて加えてどでかくない; int1 & int2 -> int3: その道祖王はちっちゃくなくてどでかくない; int3 & fact2 -> hypothesis; __PROVED__
事実1: その隔ては奏さない
事実2: 仮にその道祖王がちっちゃくなくておまけにそれがどでかいということはないならサンプリングする
事実3: もしもなにがしかの物が奏さないならちっちゃいということはなくて出し続けない
事実4: もしその道祖王はちっちゃいがどでかくないならサンプリングする
事実5: 望ましくらないものは出し続けないしさらにサンプリングしない
事実6: もし仮にその隔てがちっちゃくないけれど奏すとすればその道祖王はサンプリングしない
事実7: その隔ては奏すということはない一方で望ましい
事実8: その隔てが奏さないけれど望ましいならばあの道祖王は出し続けない
事実9: その隔てはちっちゃくない
事実10: 「あの一時的使用はちっちゃくない」ということは成り立つ
事実11: もしその道祖王が出し続けるということはないとすればそれはちっちゃくない
事実12: もしも何かはプラスイメージでないならば勝ち易くないし加えてそれは彼らしくない
事実13: もしもあるものが出し続けないとするとちっちゃくない
事実14: 仮にその隔ては奏すし望ましいとすると「その道祖王は出し続けない」ということは正しい
事実15: その道祖王はちっちゃくない
事実16: もしもなにがしかのものが出し続けないとすればちっちゃくないしさらにどでかくない
事実17: そのアナベル・ステイブリーはどでかい
事実18: なにがしかの物が望ましいということはないならサンプリングしなくて出し続けない
事実19: もし「なにかはどでかくないかあるいはそれは出し続ける」ということは真実でないとすればサンプリングしない

仮説: その道祖王はサンプリングする
1. 事実8と事実7から、推論1: "その道祖王は出し続けるということはない"が導かれる
2. 事実16から、推論2: "仮にその道祖王が出し続けないならばそれはちっちゃくなくて加えてどでかくない"が導かれる
3. 推論1と推論2から、推論3: "その道祖王はちっちゃくなくてどでかくない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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