この結婚制度は水源開発だ
fact1: 仮にその蛸釣り船が悩み始めるならばあの乾燥器はザＮである fact2: この結婚制度は獲得する fact3: もし仮に「その蛸釣り船は乗り換える」ということは正しいとすればこの乾燥器はザＮである fact4: もし仮にその蛸釣り船がザＮならこの乾燥器は悩み始める fact5: この乾燥器は悩み始める fact6: 仮にそのトーテムが乗り換えるとすればあの蛸釣り船は獲得する fact7: そのトーテムは獲得する fact8: そのトーテムが獲得するとするとこの乾燥器は獲得する fact9: この結婚制度は弱腰でない fact10: もし仮にその蛸釣り船は水源開発であるとすれば「この結婚制度は水源開発である」ということは間違いでない fact11: この乾燥器は遅滞であるし加えて水源開発である fact12: その蛸釣り船はザＮだ fact13: この乾燥器は調べ易いしまた弾き易い fact14: 仮にこの乾燥器が乗り換えるし獲得するならその蛸釣り船は悩み始めない fact15: もし仮にその蛸釣り船が獲得するし更にそれが悩み始めるならこの結婚制度は水源開発でない fact16: もし仮にこの結婚制度が悩み始めるとするとその蛸釣り船は水源開発である fact17: その二十三ページ地図参照はザＮである fact18: その半平は掃き落とすし可愛らしい fact19: その蛸釣り船はタイトルらしい fact20: そのトーテムは悩み始める fact21: その蛸釣り船は悩み始めるかもしくは乗り換える fact22: このプロ棋士は逆上するしかつそれは果たし続ける fact23: この乾燥器は咲き具合だ fact24: もしもこの乾燥器は獲得するしザＮならば「この結婚制度は水源開発でない」ということは成り立つ fact25: その半平はさもしくておまけに当該商品である
fact21 & fact1 & fact3 -> int1: この乾燥器はザＮだ; fact7 & fact8 -> int2: この乾燥器は獲得する; int1 & int2 -> int3: この乾燥器は獲得するしその上ザＮだ; int3 & fact24 -> hypothesis;
fact21 & fact1 & fact3 -> int1: {C}{c}; fact7 & fact8 -> int2: {D}{c}; int1 & int2 -> int3: ({D}{c} & {C}{c}); int3 & fact24 -> hypothesis;
この結婚制度は水源開発である
$facts$ = fact1: 仮にその蛸釣り船が悩み始めるならばあの乾燥器はザＮである fact2: この結婚制度は獲得する fact3: もし仮に「その蛸釣り船は乗り換える」ということは正しいとすればこの乾燥器はザＮである fact4: もし仮にその蛸釣り船がザＮならこの乾燥器は悩み始める fact5: この乾燥器は悩み始める fact6: 仮にそのトーテムが乗り換えるとすればあの蛸釣り船は獲得する fact7: そのトーテムは獲得する fact8: そのトーテムが獲得するとするとこの乾燥器は獲得する fact9: この結婚制度は弱腰でない fact10: もし仮にその蛸釣り船は水源開発であるとすれば「この結婚制度は水源開発である」ということは間違いでない fact11: この乾燥器は遅滞であるし加えて水源開発である fact12: その蛸釣り船はザＮだ fact13: この乾燥器は調べ易いしまた弾き易い fact14: 仮にこの乾燥器が乗り換えるし獲得するならその蛸釣り船は悩み始めない fact15: もし仮にその蛸釣り船が獲得するし更にそれが悩み始めるならこの結婚制度は水源開発でない fact16: もし仮にこの結婚制度が悩み始めるとするとその蛸釣り船は水源開発である fact17: その二十三ページ地図参照はザＮである fact18: その半平は掃き落とすし可愛らしい fact19: その蛸釣り船はタイトルらしい fact20: そのトーテムは悩み始める fact21: その蛸釣り船は悩み始めるかもしくは乗り換える fact22: このプロ棋士は逆上するしかつそれは果たし続ける fact23: この乾燥器は咲き具合だ fact24: もしもこの乾燥器は獲得するしザＮならば「この結婚制度は水源開発でない」ということは成り立つ fact25: その半平はさもしくておまけに当該商品である ; $hypothesis$ = この結婚制度は水源開発だ ; $proof$ = 
fact21 & fact1 & fact3 -> int1: この乾燥器はザＮだ; fact7 & fact8 -> int2: この乾燥器は獲得する; int1 & int2 -> int3: この乾燥器は獲得するしその上ザＮだ; int3 & fact24 -> 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: この乾燥器は咲き具合だ
事実24: もしもこの乾燥器は獲得するしザＮならば「この結婚制度は水源開発でない」ということは成り立つ
事実25: その半平はさもしくておまけに当該商品である

仮説: この結婚制度は水源開発だ
1. 事実21と事実1と事実3から、推論1: "この乾燥器はザＮだ"が導かれる
2. 事実7と事実8から、推論2: "この乾燥器は獲得する"が導かれる
3. 推論1と推論2から、推論3: "この乾燥器は獲得するしその上ザＮだ"が導かれる
4. 推論3と事実24から、仮説が否定される

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