あの修得・向上は長夜で固着する
fact1: その食事は区別すらない fact2: 仮にその食事が上場会社でないとしたらあの修得・向上は長夜だしかつ固着する fact3: もし仮に何らかのものが長夜でないかまたは固着するかあるいは両方ともであるとするとあの揚げ油は抱え直す fact4: もし「御付き合い頂かない」物があるとするとこの国際語はぎごちない fact5: 「商法規定は帝都復興事業であるか上場会社でないかあるいは両方ともである」ということは偽でない fact6: 「あの修得・向上は固着する」ということは真実だ fact7: ある物は帝都復興事業であるかまたは上場会社でないか両方であるとしたら御付き合い頂かない fact8: もしもこの国際語が御付き合い頂くか帝都復興事業でないかまたは両方ともだとしたらその食事は上場会社でない fact9: 仮にとある物はぎごちなくないならこの国際語は御付き合い頂くかあるいは帝都復興事業でない fact10: もしもあるものが帝都復興事業でなくてしかも御付き合い頂かないとすると「それはぎごちない」ということは正しい fact11: その食事は浅い fact12: もしその食事は小煩いとすると「それは通い慣れないしまたそれは区別す」ということは間違っている fact13: ぎごちないということはないものはある fact14: 仮に「その食事は浅い」ということは確かであるとしたらそれは小煩い fact15: もしもその食事が区別すらないとしたら長夜だということはないか固着する fact16: もし仮に「なにかは通い慣れないけど区別す」ということは誤っているとするとそれは商法規定である
fact13 & fact9 -> int1: 「この国際語は御付き合い頂くかもしくはそれは帝都復興事業でないかまたはどちらもである」ということは正しい; int1 & fact8 -> int2: その食事は上場会社でない; int2 & fact2 -> hypothesis;
「あの修得・向上が長夜だしおまけにそれは固着する」ということは間違っている
fact23 -> int3: 仮にその食事が帝都復興事業であるかそれは上場会社であるということはないとすれば御付き合い頂かない; fact21 -> int4: その食事が商法規定であるとするとそれは帝都復興事業であるか上場会社でないかあるいは両方ともである; fact20 -> int5: 仮に「その食事は通い慣れないけれど区別す」ということは間違いだとしたらそれは商法規定だ; fact22 & fact17 -> int6: その食事は小煩い; fact19 & int6 -> int7: 「「その食事は通い慣れないがそれは区別す」ということは事実だ」ということは成り立たない; int5 & int7 -> int8: その食事は商法規定である; int4 & int8 -> int9: その食事は帝都復興事業であるかそれは上場会社でないか両方ともである; int3 & int9 -> int10: その食事は御付き合い頂かない; int10 -> int11: なにかは御付き合い頂くということはない; int11 & fact18 -> int12: この国際語はぎごちない; int12 -> int13: 何らかのものはぎごちない;
$facts$ = fact1: その食事は区別すらない fact2: 仮にその食事が上場会社でないとしたらあの修得・向上は長夜だしかつ固着する fact3: もし仮に何らかのものが長夜でないかまたは固着するかあるいは両方ともであるとするとあの揚げ油は抱え直す fact4: もし「御付き合い頂かない」物があるとするとこの国際語はぎごちない fact5: 「商法規定は帝都復興事業であるか上場会社でないかあるいは両方ともである」ということは偽でない fact6: 「あの修得・向上は固着する」ということは真実だ fact7: ある物は帝都復興事業であるかまたは上場会社でないか両方であるとしたら御付き合い頂かない fact8: もしもこの国際語が御付き合い頂くか帝都復興事業でないかまたは両方ともだとしたらその食事は上場会社でない fact9: 仮にとある物はぎごちなくないならこの国際語は御付き合い頂くかあるいは帝都復興事業でない fact10: もしもあるものが帝都復興事業でなくてしかも御付き合い頂かないとすると「それはぎごちない」ということは正しい fact11: その食事は浅い fact12: もしその食事は小煩いとすると「それは通い慣れないしまたそれは区別す」ということは間違っている fact13: ぎごちないということはないものはある fact14: 仮に「その食事は浅い」ということは確かであるとしたらそれは小煩い fact15: もしもその食事が区別すらないとしたら長夜だということはないか固着する fact16: もし仮に「なにかは通い慣れないけど区別す」ということは誤っているとするとそれは商法規定である ; $hypothesis$ = あの修得・向上は長夜で固着する ; $proof$ = 
fact13 & fact9 -> int1: 「この国際語は御付き合い頂くかもしくはそれは帝都復興事業でないかまたはどちらもである」ということは正しい; int1 & fact8 -> int2: その食事は上場会社でない; int2 & fact2 -> hypothesis; __PROVED__
事実1: その食事は区別すらない
事実2: 仮にその食事が上場会社でないとしたらあの修得・向上は長夜だしかつ固着する
事実3: もし仮に何らかのものが長夜でないかまたは固着するかあるいは両方ともであるとするとあの揚げ油は抱え直す
事実4: もし「御付き合い頂かない」物があるとするとこの国際語はぎごちない
事実5: 「商法規定は帝都復興事業であるか上場会社でないかあるいは両方ともである」ということは偽でない
事実6: 「あの修得・向上は固着する」ということは真実だ
事実7: ある物は帝都復興事業であるかまたは上場会社でないか両方であるとしたら御付き合い頂かない
事実8: もしもこの国際語が御付き合い頂くか帝都復興事業でないかまたは両方ともだとしたらその食事は上場会社でない
事実9: 仮にとある物はぎごちなくないならこの国際語は御付き合い頂くかあるいは帝都復興事業でない
事実10: もしもあるものが帝都復興事業でなくてしかも御付き合い頂かないとすると「それはぎごちない」ということは正しい
事実11: その食事は浅い
事実12: もしその食事は小煩いとすると「それは通い慣れないしまたそれは区別す」ということは間違っている
事実13: ぎごちないということはないものはある
事実14: 仮に「その食事は浅い」ということは確かであるとしたらそれは小煩い
事実15: もしもその食事が区別すらないとしたら長夜だということはないか固着する
事実16: もし仮に「なにかは通い慣れないけど区別す」ということは誤っているとするとそれは商法規定である

仮説: あの修得・向上は長夜で固着する
1. 事実13と事実9から、推論1: "「この国際語は御付き合い頂くかもしくはそれは帝都復興事業でないかまたはどちらもである」ということは正しい"が導かれる
2. 推論1と事実8から、推論2: "その食事は上場会社でない"が導かれる
3. 推論2と事実2から、仮説が導かれる

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