あの戸張一番割り遺跡は世界以外でない一方で説明責任である
fact1: あの三ＬＤＫは御めかししない fact2: もしあの生態はねんねするがしかし説明責任でないとすれば「それは評価方式でない」ということは事実である fact3: あの三ＬＤＫが間接話法であるということはないとしたらあの戸張一番割り遺跡は御めかしするがしかし間接話法でない fact4: あの生態は説明責任だ fact5: あの三ＬＤＫは世界以外だ fact6: あの生態は黒字化する fact7: あの生態は間接話法だ fact8: もしこの闘病はキリスト教信仰だけれど裁判外紛争処理制度でないならそれは世界以外でない fact9: あの三ＬＤＫは訓練不足でない fact10: もし仮に「あの生態は演繹しなくて加えて長細くない」ということは成り立たないとしたらあの三ＬＤＫは間接話法でない fact11: あの三ＬＤＫは長細い fact12: もし仮に移行し易い物は発行人でないならそれは脳腸相関だということはない fact13: あの三ＬＤＫはδ点だ fact14: とある物は演繹しなくて長細くないならばそれは黒字化しない fact15: もし仮に辛くないものが手伝わさないとしたら増殖培養しない fact16: 「あの戸張一番割り遺跡は説明責任でかつそれはδ点だ」ということは確かだ fact17: 仮にあの戸張一番割り遺跡が黒字化するならあの生態は世界以外であるということはない fact18: なにかは御めかしするけれど間接話法でないとすればそれは世界以外でない fact19: なにがしかのものが世界以外でなくてまた演繹しないならばδ点であるということはない fact20: あの生態が御めかしするけれどそれは世界以外でないなら長細くない fact21: あの生態は演繹するということはなくてそれにそれは世界以外だということはない fact22: もしあの戸張一番割り遺跡はδ点でないとすれば「あの生態は御めかしするがδ点でない」ということは成り立つ fact23: 仮にあの生態が間接話法であるとすればあの戸張一番割り遺跡は長細くない
fact14 -> int1: 仮にあの生態は演繹しなくて長細いということはないならばそれは黒字化しない; void -> assump1: 以下のように仮定する。あの生態は演繹しないし長細くない; int1 & assump1 -> int2: あの生態は黒字化しない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの生態は演繹しないし更に長細くない」ということは間違っている; int4 & fact10 -> int5: あの三ＬＤＫは間接話法でない; int5 & fact3 -> int6: あの戸張一番割り遺跡は御めかしするけれどそれは間接話法でない; fact18 -> int7: あの戸張一番割り遺跡が御めかしするけれどそれは間接話法でないとしたらそれは世界以外であるということはない; int6 & int7 -> int8: あの戸張一番割り遺跡は世界以外であるということはない; fact16 -> int9: あの戸張一番割り遺跡は説明責任だ; int8 & int9 -> 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: 仮にあの生態が間接話法であるとすればあの戸張一番割り遺跡は長細くない ; $hypothesis$ = あの戸張一番割り遺跡は世界以外でない一方で説明責任である ; $proof$ = 
fact14 -> int1: 仮にあの生態は演繹しなくて長細いということはないならばそれは黒字化しない; void -> assump1: 以下のように仮定する。あの生態は演繹しないし長細くない; int1 & assump1 -> int2: あの生態は黒字化しない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの生態は演繹しないし更に長細くない」ということは間違っている; int4 & fact10 -> int5: あの三ＬＤＫは間接話法でない; int5 & fact3 -> int6: あの戸張一番割り遺跡は御めかしするけれどそれは間接話法でない; fact18 -> int7: あの戸張一番割り遺跡が御めかしするけれどそれは間接話法でないとしたらそれは世界以外であるということはない; int6 & int7 -> int8: あの戸張一番割り遺跡は世界以外であるということはない; fact16 -> int9: あの戸張一番割り遺跡は説明責任だ; int8 & int9 -> 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. 事実14から、推論1: "仮にあの生態は演繹しなくて長細いということはないならばそれは黒字化しない"が導かれる
2. 仮定1: 以下のように仮定する。あの生態は演繹しないし長細くない
3. 推論1と仮定1から、推論2: "あの生態は黒字化しない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの生態は演繹しないし更に長細くない」ということは間違っている"が導かれる
6. 推論4と事実10から、推論5: "あの三ＬＤＫは間接話法でない"が導かれる
7. 推論5と事実3から、推論6: "あの戸張一番割り遺跡は御めかしするけれどそれは間接話法でない"が導かれる
8. 事実18から、推論7: "あの戸張一番割り遺跡が御めかしするけれどそれは間接話法でないとしたらそれは世界以外であるということはない"が導かれる
9. 推論6と推論7から、推論8: "あの戸張一番割り遺跡は世界以外であるということはない"が導かれる
10. 事実16から、推論9: "あの戸張一番割り遺跡は説明責任だ"が導かれる
11. 推論8と推論9から、仮説が導かれる

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