「この観察結果が御所言葉だとしたらこのモデルソフトウエアは攪拌するけど擬えらない」ということは成り立たない
fact1: もしも「このモデルソフトウエアは賃金要求である」ということは成り立てば御所言葉だが再輸出比率でない fact2: この観察結果はテル＆ＦＡＸである fact3: 仮になんらかのものが五十六年度でないならばそれは攪拌するし加えてそれは御所言葉である fact4: もし仮にこのモデルソフトウエアがテル＆ＦＡＸでないかもしくは攪拌するとするとこの観察結果は攪拌する fact5: 「この関連書類が田舎染みないはしかし一ＰＸである」ということは間違っている fact6: もしもあるものが按ずるとしたらそれは常連らしい fact7: 仮にこのモデルソフトウエアは五十六年度であるとすればそれは攪拌するしかつ擬える fact8: このモデルソフトウエアは攪拌するし擬える fact9: もしも「なにがしかの物は書き上がる」ということは本当ならば甘ったるい fact10: 五十六年度は攪拌する一方で擬えるということはない fact11: もし仮に何らかのものはテル＆ＦＡＸだとすると「それは五十六年度だ」ということは真実である fact12: 仮に「この関連書類は田舎染みない一方で一ＰＸだ」ということは偽ならば「校務分掌でない」ということは確かだ fact13: もしもこの観察結果が御所言葉であるならばこのモデルソフトウエアはテル＆ＦＡＸである fact14: 「この観察結果は攪拌する」ということは偽だということはない fact15: もし仮にこのモデルソフトウエアが五十六年度なら攪拌する fact16: 仮にこの関連書類が校務分掌でないならその停戦交渉は擬えるしそれは繁殖し易い fact17: このモデルソフトウエアは運転開始だけれどそれは渡り始めない fact18: この一．零以上は攪拌する
void -> assump1: 以下のように仮定する。この観察結果は御所言葉である; fact13 & assump1 -> int1: 「このモデルソフトウエアはテル＆ＦＡＸである」ということは成り立つ; fact11 -> int2: このモデルソフトウエアがテル＆ＦＡＸだとするとそれは五十六年度だ; int1 & int2 -> int3: このモデルソフトウエアは五十六年度である; fact10 -> int4: 仮に「このモデルソフトウエアは五十六年度だ」ということは真実であるとすれば攪拌する一方で擬えらない; int3 & int4 -> int5: このモデルソフトウエアは攪拌するけれど擬えらない; [assump1] & int5 -> hypothesis;
この観察結果は攪拌する
fact23 -> int6: 仮にこのモデルソフトウエアが五十六年度でないとすれば攪拌するしかつそれは御所言葉である; fact20 & fact22 -> int7: この関連書類は校務分掌だということはない; fact21 & int7 -> int8: その停戦交渉は擬えるし繁殖し易い; int8 -> int9: その停戦交渉は擬える; int9 -> int10: 「擬える」物はある;
$facts$ = fact1: もしも「このモデルソフトウエアは賃金要求である」ということは成り立てば御所言葉だが再輸出比率でない fact2: この観察結果はテル＆ＦＡＸである fact3: 仮になんらかのものが五十六年度でないならばそれは攪拌するし加えてそれは御所言葉である fact4: もし仮にこのモデルソフトウエアがテル＆ＦＡＸでないかもしくは攪拌するとするとこの観察結果は攪拌する fact5: 「この関連書類が田舎染みないはしかし一ＰＸである」ということは間違っている fact6: もしもあるものが按ずるとしたらそれは常連らしい fact7: 仮にこのモデルソフトウエアは五十六年度であるとすればそれは攪拌するしかつ擬える fact8: このモデルソフトウエアは攪拌するし擬える fact9: もしも「なにがしかの物は書き上がる」ということは本当ならば甘ったるい fact10: 五十六年度は攪拌する一方で擬えるということはない fact11: もし仮に何らかのものはテル＆ＦＡＸだとすると「それは五十六年度だ」ということは真実である fact12: 仮に「この関連書類は田舎染みない一方で一ＰＸだ」ということは偽ならば「校務分掌でない」ということは確かだ fact13: もしもこの観察結果が御所言葉であるならばこのモデルソフトウエアはテル＆ＦＡＸである fact14: 「この観察結果は攪拌する」ということは偽だということはない fact15: もし仮にこのモデルソフトウエアが五十六年度なら攪拌する fact16: 仮にこの関連書類が校務分掌でないならその停戦交渉は擬えるしそれは繁殖し易い fact17: このモデルソフトウエアは運転開始だけれどそれは渡り始めない fact18: この一．零以上は攪拌する ; $hypothesis$ = 「この観察結果が御所言葉だとしたらこのモデルソフトウエアは攪拌するけど擬えらない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この観察結果は御所言葉である; fact13 & assump1 -> int1: 「このモデルソフトウエアはテル＆ＦＡＸである」ということは成り立つ; fact11 -> int2: このモデルソフトウエアがテル＆ＦＡＸだとするとそれは五十六年度だ; int1 & int2 -> int3: このモデルソフトウエアは五十六年度である; fact10 -> int4: 仮に「このモデルソフトウエアは五十六年度だ」ということは真実であるとすれば攪拌する一方で擬えらない; int3 & int4 -> int5: このモデルソフトウエアは攪拌するけれど擬えらない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしも「このモデルソフトウエアは賃金要求である」ということは成り立てば御所言葉だが再輸出比率でない
事実2: この観察結果はテル＆ＦＡＸである
事実3: 仮になんらかのものが五十六年度でないならばそれは攪拌するし加えてそれは御所言葉である
事実4: もし仮にこのモデルソフトウエアがテル＆ＦＡＸでないかもしくは攪拌するとするとこの観察結果は攪拌する
事実5: 「この関連書類が田舎染みないはしかし一ＰＸである」ということは間違っている
事実6: もしもあるものが按ずるとしたらそれは常連らしい
事実7: 仮にこのモデルソフトウエアは五十六年度であるとすればそれは攪拌するしかつ擬える
事実8: このモデルソフトウエアは攪拌するし擬える
事実9: もしも「なにがしかの物は書き上がる」ということは本当ならば甘ったるい
事実10: 五十六年度は攪拌する一方で擬えるということはない
事実11: もし仮に何らかのものはテル＆ＦＡＸだとすると「それは五十六年度だ」ということは真実である
事実12: 仮に「この関連書類は田舎染みない一方で一ＰＸだ」ということは偽ならば「校務分掌でない」ということは確かだ
事実13: もしもこの観察結果が御所言葉であるならばこのモデルソフトウエアはテル＆ＦＡＸである
事実14: 「この観察結果は攪拌する」ということは偽だということはない
事実15: もし仮にこのモデルソフトウエアが五十六年度なら攪拌する
事実16: 仮にこの関連書類が校務分掌でないならその停戦交渉は擬えるしそれは繁殖し易い
事実17: このモデルソフトウエアは運転開始だけれどそれは渡り始めない
事実18: この一．零以上は攪拌する

仮説: 「この観察結果が御所言葉だとしたらこのモデルソフトウエアは攪拌するけど擬えらない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この観察結果は御所言葉である
2. 事実13と仮定1から、推論1: "「このモデルソフトウエアはテル＆ＦＡＸである」ということは成り立つ"が導かれる
3. 事実11から、推論2: "このモデルソフトウエアがテル＆ＦＡＸだとするとそれは五十六年度だ"が導かれる
4. 推論1と推論2から、推論3: "このモデルソフトウエアは五十六年度である"が導かれる
5. 事実10から、推論4: "仮に「このモデルソフトウエアは五十六年度だ」ということは真実であるとすれば攪拌する一方で擬えらない"が導かれる
6. 推論3と推論4から、推論5: "このモデルソフトウエアは攪拌するけれど擬えらない"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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