そのスキップは御若い
fact1: もしある物は供給主体でないが欠缺だとしたらそれは御若い fact2: 仮に「なにかは供給主体であるということはないかあるいは欠缺でないかあるいは両方である」ということは成り立たないとしたらそれは御若くない fact3: 気紛れは層構造でないし更に肥やさくない fact4: もし仮にその最終資本積み立て金額は用意しないなら「それは嵩張らなくてしかも気紛れでない」ということは成り立たない fact5: 仮にこの二十八日判決が思い焦がれるけど制度的資源でないならばあの最終資本積み立て金額は用意しない fact6: あの光明は深くない fact7: 「ある物は嵩張らなくてその上気紛れだということはない」ということは嘘ならばそれは気紛れだ fact8: 仮になんらかの物は話し難くないとすれば「それは供給主体であるということはないかそれは欠缺だということはない」ということは成り立たない fact9: すべてのものは身振り手振りでなくてそれは詳論する fact10: 全てのものは欠缺である fact11: そのスキップは欠缺である fact12: すべての物は供給主体でないけど欠缺だ fact13: もしもあの光明が深くないとすればこの二十八日判決は思い焦がれるがしかし制度的資源でない
fact12 -> int1: そのスキップは供給主体でないが欠缺だ; fact1 -> int2: 仮にそのスキップが供給主体でない一方でそれが欠缺なら御若い; int1 & int2 -> hypothesis;
そのスキップは御若くない
fact16 -> int3: もし仮に「そのスキップは供給主体でないかそれは欠缺でない」ということは成り立たないとしたらそれは御若くない; fact20 -> int4: そのスキップは話し難いということはないならば「それは供給主体でないかもしくは欠缺でないかまたは両方だ」ということは誤っている; fact17 -> int5: もしもその最終資本積み立て金額は気紛れであるとすると「それは層構造でないし肥やさくない」ということは事実である; fact15 -> int6: もしも「その最終資本積み立て金額が嵩張るということはないしさらにそれは気紛れでない」ということは成り立たないとすると気紛れだ; fact21 & fact18 -> int7: この二十八日判決は思い焦がれるがそれは制度的資源でない; fact19 & int7 -> int8: 「その最終資本積み立て金額は用意しない」ということは成り立つ; fact14 & int8 -> int9: 「その最終資本積み立て金額は嵩張らなくて気紛れでない」ということは間違いだ; int6 & int9 -> int10: その最終資本積み立て金額は気紛れである; int5 & int10 -> int11: その最終資本積み立て金額は層構造でないし肥やすということはない; int11 -> int12: 何かは層構造だということはないしその上それは肥やさくない;
$facts$ = fact1: もしある物は供給主体でないが欠缺だとしたらそれは御若い fact2: 仮に「なにかは供給主体であるということはないかあるいは欠缺でないかあるいは両方である」ということは成り立たないとしたらそれは御若くない fact3: 気紛れは層構造でないし更に肥やさくない fact4: もし仮にその最終資本積み立て金額は用意しないなら「それは嵩張らなくてしかも気紛れでない」ということは成り立たない fact5: 仮にこの二十八日判決が思い焦がれるけど制度的資源でないならばあの最終資本積み立て金額は用意しない fact6: あの光明は深くない fact7: 「ある物は嵩張らなくてその上気紛れだということはない」ということは嘘ならばそれは気紛れだ fact8: 仮になんらかの物は話し難くないとすれば「それは供給主体であるということはないかそれは欠缺だということはない」ということは成り立たない fact9: すべてのものは身振り手振りでなくてそれは詳論する fact10: 全てのものは欠缺である fact11: そのスキップは欠缺である fact12: すべての物は供給主体でないけど欠缺だ fact13: もしもあの光明が深くないとすればこの二十八日判決は思い焦がれるがしかし制度的資源でない ; $hypothesis$ = そのスキップは御若い ; $proof$ = 
fact12 -> int1: そのスキップは供給主体でないが欠缺だ; fact1 -> int2: 仮にそのスキップが供給主体でない一方でそれが欠缺なら御若い; int1 & int2 -> hypothesis; __PROVED__
事実1: もしある物は供給主体でないが欠缺だとしたらそれは御若い
事実2: 仮に「なにかは供給主体であるということはないかあるいは欠缺でないかあるいは両方である」ということは成り立たないとしたらそれは御若くない
事実3: 気紛れは層構造でないし更に肥やさくない
事実4: もし仮にその最終資本積み立て金額は用意しないなら「それは嵩張らなくてしかも気紛れでない」ということは成り立たない
事実5: 仮にこの二十八日判決が思い焦がれるけど制度的資源でないならばあの最終資本積み立て金額は用意しない
事実6: あの光明は深くない
事実7: 「ある物は嵩張らなくてその上気紛れだということはない」ということは嘘ならばそれは気紛れだ
事実8: 仮になんらかの物は話し難くないとすれば「それは供給主体であるということはないかそれは欠缺だということはない」ということは成り立たない
事実9: すべてのものは身振り手振りでなくてそれは詳論する
事実10: 全てのものは欠缺である
事実11: そのスキップは欠缺である
事実12: すべての物は供給主体でないけど欠缺だ
事実13: もしもあの光明が深くないとすればこの二十八日判決は思い焦がれるがしかし制度的資源でない

仮説: そのスキップは御若い
1. 事実12から、推論1: "そのスキップは供給主体でないが欠缺だ"が導かれる
2. 事実1から、推論2: "仮にそのスキップが供給主体でない一方でそれが欠缺なら御若い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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