「このスペースシャトルは太り易い」ということは成り立つ
fact1: その幹線道路沿いは奥深くない fact2: もしこのスペースシャトルが奥深いということはなくて加えてそれが侵食しないならばその幹線道路沿いは太り易くない fact3: もし仮にあの戦利品がオーケーしないとすればあのスペースシャトルは奥深くないしそれは侵食しない fact4: このスペースシャトルは表わし得る fact5: もしも「あの戦利品は儚いけれど金権政治であるということはない」ということは成り立たないとすればその幹線道路沿いは金権政治である fact6: もしその幹線道路沿いが奥深くないとしたらこのスペースシャトルは表わし得る fact7: もし仮にとあるものが金権政治ならそれは引き出し易い fact8: 仮になんらかの物が侵食するということはないとすれば太り易くない一方で奥深い fact9: 仮にあの戦利品は継続し難いとすれば「それは儚いが金権政治だということはない」ということは間違っている fact10: 「何かは引き出し易いならば「選択画面でなくてその上それはオーケーする」ということは間違っている」ということは本当だ fact11: もしもその幹線道路沿いが奥深くないとするとこのスペースシャトルは太り易いし表わし得る fact12: もし仮に「何らかの物は引き出し易くない一方でそれはオーケーする」ということは成り立つということはないならそれはオーケーするということはない fact13: 「その幹線道路沿いは選択画面でないがオーケーする」ということは成り立たないとするとこのスペースシャトルは侵食しない
fact11 & fact1 -> int1: このスペースシャトルは太り易いししかも表わし得る; int1 -> hypothesis;
fact11 & fact1 -> int1: ({AA}{b} & {AB}{b}); int1 -> hypothesis;
このスペースシャトルは太り易くない
fact15 -> int2: もし仮にこのスペースシャトルが侵食しないとしたらそれは太り易くないがしかし奥深い; fact16 -> int3: もし仮にその幹線道路沿いは引き出し易いなら「それは選択画面だということはなくてオーケーする」ということは偽である; fact17 -> int4: もしその幹線道路沿いが金権政治だとしたら引き出し易い;
$facts$ = fact1: その幹線道路沿いは奥深くない fact2: もしこのスペースシャトルが奥深いということはなくて加えてそれが侵食しないならばその幹線道路沿いは太り易くない fact3: もし仮にあの戦利品がオーケーしないとすればあのスペースシャトルは奥深くないしそれは侵食しない fact4: このスペースシャトルは表わし得る fact5: もしも「あの戦利品は儚いけれど金権政治であるということはない」ということは成り立たないとすればその幹線道路沿いは金権政治である fact6: もしその幹線道路沿いが奥深くないとしたらこのスペースシャトルは表わし得る fact7: もし仮にとあるものが金権政治ならそれは引き出し易い fact8: 仮になんらかの物が侵食するということはないとすれば太り易くない一方で奥深い fact9: 仮にあの戦利品は継続し難いとすれば「それは儚いが金権政治だということはない」ということは間違っている fact10: 「何かは引き出し易いならば「選択画面でなくてその上それはオーケーする」ということは間違っている」ということは本当だ fact11: もしもその幹線道路沿いが奥深くないとするとこのスペースシャトルは太り易いし表わし得る fact12: もし仮に「何らかの物は引き出し易くない一方でそれはオーケーする」ということは成り立つということはないならそれはオーケーするということはない fact13: 「その幹線道路沿いは選択画面でないがオーケーする」ということは成り立たないとするとこのスペースシャトルは侵食しない ; $hypothesis$ = 「このスペースシャトルは太り易い」ということは成り立つ ; $proof$ = 
fact11 & fact1 -> int1: このスペースシャトルは太り易いししかも表わし得る; int1 -> hypothesis; __PROVED__
事実1: その幹線道路沿いは奥深くない
事実2: もしこのスペースシャトルが奥深いということはなくて加えてそれが侵食しないならばその幹線道路沿いは太り易くない
事実3: もし仮にあの戦利品がオーケーしないとすればあのスペースシャトルは奥深くないしそれは侵食しない
事実4: このスペースシャトルは表わし得る
事実5: もしも「あの戦利品は儚いけれど金権政治であるということはない」ということは成り立たないとすればその幹線道路沿いは金権政治である
事実6: もしその幹線道路沿いが奥深くないとしたらこのスペースシャトルは表わし得る
事実7: もし仮にとあるものが金権政治ならそれは引き出し易い
事実8: 仮になんらかの物が侵食するということはないとすれば太り易くない一方で奥深い
事実9: 仮にあの戦利品は継続し難いとすれば「それは儚いが金権政治だということはない」ということは間違っている
事実10: 「何かは引き出し易いならば「選択画面でなくてその上それはオーケーする」ということは間違っている」ということは本当だ
事実11: もしもその幹線道路沿いが奥深くないとするとこのスペースシャトルは太り易いし表わし得る
事実12: もし仮に「何らかの物は引き出し易くない一方でそれはオーケーする」ということは成り立つということはないならそれはオーケーするということはない
事実13: 「その幹線道路沿いは選択画面でないがオーケーする」ということは成り立たないとするとこのスペースシャトルは侵食しない

仮説: 「このスペースシャトルは太り易い」ということは成り立つ
1. 事実11と事実1から、推論1: "このスペースシャトルは太り易いししかも表わし得る"が導かれる
2. 推論1から、仮説が導かれる

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