その係争物は悪液質だということはない
fact1: すべては旋盤加工でないけれど評価・判断する fact2: あるものが上坂すれば御めでたい一方で迷い易くない fact3: 何もかもは旋盤加工だということはない fact4: このマテリアルエディタは旋盤加工でないけど悪液質である fact5: この三国遺事が御めでたいとすればその係争物は悪液質だ fact6: もしもこのマテリアルエディタが評価・判断すればこの三国遺事は御めでたい fact7: もしもなにかは上坂するとしたら「それは悪液質でないがしかし再構成する」ということは嘘である fact8: あの重りは御めでたい fact9: その熊ん蜂は悪液質でないけれどそれは間近い fact10: このマテリアルエディタは旋盤加工でない fact11: この三国遺事が悪液質ならばあの係争物は御めでたい fact12: もし仮にあの自己複製能が御めでたいけど旋盤加工だということはないならばこの三国遺事は旋盤加工でない fact13: このマテリアルエディタは救い難い fact14: もし「その係争物が上坂するということはないしさらに歴史科学だということはない」ということは嘘であるとしたら「上坂する」ということは確かである fact15: もし仮にその係争物が御めでたいならばこの三国遺事は悪液質である fact16: あのフロマージュ・ブランは上坂する fact17: もしあのフロマージュ・ブランは御めでたいけど迷い易くないならば「あの自己複製能は御めでたい」ということは真実である
fact1 -> int1: このマテリアルエディタは旋盤加工でない一方で評価・判断する; int1 -> int2: このマテリアルエディタは評価・判断する; int2 & fact6 -> int3: この三国遺事は御めでたい; int3 & fact5 -> hypothesis;
その係争物は悪液質でない
fact19 -> int4: もしあのフロマージュ・ブランが上坂するとすればそれは御めでたい一方で迷い易くない; int4 & fact21 -> int5: あのフロマージュ・ブランは御めでたいが迷い易くない; fact18 & int5 -> int6: あの自己複製能は御めでたい;
$facts$ = fact1: すべては旋盤加工でないけれど評価・判断する fact2: あるものが上坂すれば御めでたい一方で迷い易くない fact3: 何もかもは旋盤加工だということはない fact4: このマテリアルエディタは旋盤加工でないけど悪液質である fact5: この三国遺事が御めでたいとすればその係争物は悪液質だ fact6: もしもこのマテリアルエディタが評価・判断すればこの三国遺事は御めでたい fact7: もしもなにかは上坂するとしたら「それは悪液質でないがしかし再構成する」ということは嘘である fact8: あの重りは御めでたい fact9: その熊ん蜂は悪液質でないけれどそれは間近い fact10: このマテリアルエディタは旋盤加工でない fact11: この三国遺事が悪液質ならばあの係争物は御めでたい fact12: もし仮にあの自己複製能が御めでたいけど旋盤加工だということはないならばこの三国遺事は旋盤加工でない fact13: このマテリアルエディタは救い難い fact14: もし「その係争物が上坂するということはないしさらに歴史科学だということはない」ということは嘘であるとしたら「上坂する」ということは確かである fact15: もし仮にその係争物が御めでたいならばこの三国遺事は悪液質である fact16: あのフロマージュ・ブランは上坂する fact17: もしあのフロマージュ・ブランは御めでたいけど迷い易くないならば「あの自己複製能は御めでたい」ということは真実である ; $hypothesis$ = その係争物は悪液質だということはない ; $proof$ = 
fact1 -> int1: このマテリアルエディタは旋盤加工でない一方で評価・判断する; int1 -> int2: このマテリアルエディタは評価・判断する; int2 & fact6 -> int3: この三国遺事は御めでたい; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: すべては旋盤加工でないけれど評価・判断する
事実2: あるものが上坂すれば御めでたい一方で迷い易くない
事実3: 何もかもは旋盤加工だということはない
事実4: このマテリアルエディタは旋盤加工でないけど悪液質である
事実5: この三国遺事が御めでたいとすればその係争物は悪液質だ
事実6: もしもこのマテリアルエディタが評価・判断すればこの三国遺事は御めでたい
事実7: もしもなにかは上坂するとしたら「それは悪液質でないがしかし再構成する」ということは嘘である
事実8: あの重りは御めでたい
事実9: その熊ん蜂は悪液質でないけれどそれは間近い
事実10: このマテリアルエディタは旋盤加工でない
事実11: この三国遺事が悪液質ならばあの係争物は御めでたい
事実12: もし仮にあの自己複製能が御めでたいけど旋盤加工だということはないならばこの三国遺事は旋盤加工でない
事実13: このマテリアルエディタは救い難い
事実14: もし「その係争物が上坂するということはないしさらに歴史科学だということはない」ということは嘘であるとしたら「上坂する」ということは確かである
事実15: もし仮にその係争物が御めでたいならばこの三国遺事は悪液質である
事実16: あのフロマージュ・ブランは上坂する
事実17: もしあのフロマージュ・ブランは御めでたいけど迷い易くないならば「あの自己複製能は御めでたい」ということは真実である

仮説: その係争物は悪液質だということはない
1. 事実1から、推論1: "このマテリアルエディタは旋盤加工でない一方で評価・判断する"が導かれる
2. 推論1から、推論2: "このマテリアルエディタは評価・判断する"が導かれる
3. 推論2と事実6から、推論3: "この三国遺事は御めでたい"が導かれる
4. 推論3と事実5から、仮説が否定される

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