「あの日野Ｕ‐ＲＵ三ＦＴＡＢは公営化しない」ということは真実だ
fact1: もし仮にこの乳酸リンゲル液が照明器具でないとしたら薄暗いしかつ曲がり具合である fact2: もし仮にその幻想交響曲は前評判でないならばそれは炒め玉葱であるしおまけに曲がり具合である fact3: この乳酸リンゲル液は作劇術でない fact4: 「すべての物は清ししおまけに炒め玉葱である」ということは誤りだということはない fact5: 「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易くておまけにそれは大艦隊だ」ということは誤りだ fact6: もし仮に「なにかは調べ易い一方でそれは大艦隊であるということはない」ということは誤りだとしたらそれは公営化するということはない fact7: もしなにがしかの物は前評判でないとすれば「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易くておまけに大艦隊である」ということは間違いである fact8: もし「前評判でない」物はあるとしたら「「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易いが大艦隊であるということはない」ということは成り立つ」ということは成り立たない fact9: 仮にあの日野Ｕ‐ＲＵ三ＦＴＡＢは大艦隊であるとすればそれは公営化しない fact10: もし炒め玉葱が曲がり具合だとすると前評判でない fact11: この乳酸リンゲル液は照明器具でない fact12: もしもその桜橋が曲がり具合だということはないとすればこの事自身は曲がり具合でない fact13: なにかは炒め玉葱であるとしたらそれは清し fact14: どれもこれもは積み上がるし加えて広中・前掲書である
fact4 -> int1: この乳酸リンゲル液は清しししかも炒め玉葱だ; int1 -> int2: この乳酸リンゲル液は炒め玉葱だ; fact11 & fact1 -> int3: この乳酸リンゲル液は薄暗いししかも曲がり具合である; int3 -> int4: この乳酸リンゲル液は曲がり具合だ; int2 & int4 -> int5: この乳酸リンゲル液は炒め玉葱でそれに曲がり具合だ; fact10 -> int6: もしこの乳酸リンゲル液は炒め玉葱であるし更に曲がり具合だとすると前評判でない; int5 & int6 -> int7: この乳酸リンゲル液は前評判でない; int7 -> int8: なにかは前評判でない; int8 & fact8 -> int9: 「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易いが大艦隊でない」ということは成り立つということはない; fact6 -> int10: 「仮に「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易いけれど大艦隊でない」ということは誤っているとすればあの日野Ｕ‐ＲＵ三ＦＴＡＢは公営化するということはない」ということは確かだ; int9 & int10 -> hypothesis;
あの日野Ｕ‐ＲＵ三ＦＴＡＢは公営化する
fact15 -> int11: もしもその幻想交響曲は炒め玉葱であるとしたらそれは清し;
$facts$ = fact1: もし仮にこの乳酸リンゲル液が照明器具でないとしたら薄暗いしかつ曲がり具合である fact2: もし仮にその幻想交響曲は前評判でないならばそれは炒め玉葱であるしおまけに曲がり具合である fact3: この乳酸リンゲル液は作劇術でない fact4: 「すべての物は清ししおまけに炒め玉葱である」ということは誤りだということはない fact5: 「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易くておまけにそれは大艦隊だ」ということは誤りだ fact6: もし仮に「なにかは調べ易い一方でそれは大艦隊であるということはない」ということは誤りだとしたらそれは公営化するということはない fact7: もしなにがしかの物は前評判でないとすれば「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易くておまけに大艦隊である」ということは間違いである fact8: もし「前評判でない」物はあるとしたら「「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易いが大艦隊であるということはない」ということは成り立つ」ということは成り立たない fact9: 仮にあの日野Ｕ‐ＲＵ三ＦＴＡＢは大艦隊であるとすればそれは公営化しない fact10: もし炒め玉葱が曲がり具合だとすると前評判でない fact11: この乳酸リンゲル液は照明器具でない fact12: もしもその桜橋が曲がり具合だということはないとすればこの事自身は曲がり具合でない fact13: なにかは炒め玉葱であるとしたらそれは清し fact14: どれもこれもは積み上がるし加えて広中・前掲書である ; $hypothesis$ = 「あの日野Ｕ‐ＲＵ三ＦＴＡＢは公営化しない」ということは真実だ ; $proof$ = 
fact4 -> int1: この乳酸リンゲル液は清しししかも炒め玉葱だ; int1 -> int2: この乳酸リンゲル液は炒め玉葱だ; fact11 & fact1 -> int3: この乳酸リンゲル液は薄暗いししかも曲がり具合である; int3 -> int4: この乳酸リンゲル液は曲がり具合だ; int2 & int4 -> int5: この乳酸リンゲル液は炒め玉葱でそれに曲がり具合だ; fact10 -> int6: もしこの乳酸リンゲル液は炒め玉葱であるし更に曲がり具合だとすると前評判でない; int5 & int6 -> int7: この乳酸リンゲル液は前評判でない; int7 -> int8: なにかは前評判でない; int8 & fact8 -> int9: 「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易いが大艦隊でない」ということは成り立つということはない; fact6 -> int10: 「仮に「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易いけれど大艦隊でない」ということは誤っているとすればあの日野Ｕ‐ＲＵ三ＦＴＡＢは公営化するということはない」ということは確かだ; int9 & int10 -> hypothesis; __PROVED__
事実1: もし仮にこの乳酸リンゲル液が照明器具でないとしたら薄暗いしかつ曲がり具合である
事実2: もし仮にその幻想交響曲は前評判でないならばそれは炒め玉葱であるしおまけに曲がり具合である
事実3: この乳酸リンゲル液は作劇術でない
事実4: 「すべての物は清ししおまけに炒め玉葱である」ということは誤りだということはない
事実5: 「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易くておまけにそれは大艦隊だ」ということは誤りだ
事実6: もし仮に「なにかは調べ易い一方でそれは大艦隊であるということはない」ということは誤りだとしたらそれは公営化するということはない
事実7: もしなにがしかの物は前評判でないとすれば「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易くておまけに大艦隊である」ということは間違いである
事実8: もし「前評判でない」物はあるとしたら「「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易いが大艦隊であるということはない」ということは成り立つ」ということは成り立たない
事実9: 仮にあの日野Ｕ‐ＲＵ三ＦＴＡＢは大艦隊であるとすればそれは公営化しない
事実10: もし炒め玉葱が曲がり具合だとすると前評判でない
事実11: この乳酸リンゲル液は照明器具でない
事実12: もしもその桜橋が曲がり具合だということはないとすればこの事自身は曲がり具合でない
事実13: なにかは炒め玉葱であるとしたらそれは清し
事実14: どれもこれもは積み上がるし加えて広中・前掲書である

仮説: 「あの日野Ｕ‐ＲＵ三ＦＴＡＢは公営化しない」ということは真実だ
1. 事実4から、推論1: "この乳酸リンゲル液は清しししかも炒め玉葱だ"が導かれる
2. 推論1から、推論2: "この乳酸リンゲル液は炒め玉葱だ"が導かれる
3. 事実11と事実1から、推論3: "この乳酸リンゲル液は薄暗いししかも曲がり具合である"が導かれる
4. 推論3から、推論4: "この乳酸リンゲル液は曲がり具合だ"が導かれる
5. 推論2と推論4から、推論5: "この乳酸リンゲル液は炒め玉葱でそれに曲がり具合だ"が導かれる
6. 事実10から、推論6: "もしこの乳酸リンゲル液は炒め玉葱であるし更に曲がり具合だとすると前評判でない"が導かれる
7. 推論5と推論6から、推論7: "この乳酸リンゲル液は前評判でない"が導かれる
8. 推論7から、推論8: "なにかは前評判でない"が導かれる
9. 推論8と事実8から、推論9: "「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易いが大艦隊でない」ということは成り立つということはない"が導かれる
10. 事実6から、推論10: "「仮に「あの日野Ｕ‐ＲＵ三ＦＴＡＢは調べ易いけれど大艦隊でない」ということは誤っているとすればあの日野Ｕ‐ＲＵ三ＦＴＡＢは公営化するということはない」ということは確かだ"が導かれる
11. 推論9と推論10から、仮説が導かれる

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