「この人民革命党は想定し難くないかもしくは生起する」ということは成り立たない
fact1: もしこの人民革命党が技術開発でないなら想定し難いかそれは生起するかまたは両方だ fact2: もし仮にその預け入れ金利が長ったらしくてまた遅いとすればあの左欄は長ったらしくない fact3: もしこのエリザベート公演が立ち掛けるとしたらこの人民革命党は技術開発でない fact4: 「「このエリザベート公演は想定し難くないし立ち掛けない」ということは間違っている」ということは成り立つ fact5: もしもなにかは技術開発でないとすれば想定し難くないかあるいはそれは生起するか両方ともだ fact6: 長ったらしい物は技術開発だ fact7: 「このエリザベート公演は浅黒くない一方で立ち掛ける」ということは間違っている fact8: もし何らかの物は技術開発であるならば「それは想定し難くないかあるいは生起するかもしくは両方ともだ」ということは成り立たない fact9: 「「このエリザベート公演は浅黒くないしそれは立ち掛けない」ということは真実だ」ということは間違いだ fact10: 仮に何かは立ち掛けないとすると生起しないかあるいは技術開発だ fact11: もしもこの左欄は長ったらしいということはないならば「この人民革命党は生起するしかつ技術開発だ」ということは間違いだ fact12: 「このエリザベート公演は浅黒くないしそれに立ち掛けない」ということは正しくないとするとこの人民革命党は技術開発でない
fact12 & fact9 -> int1: この人民革命党は技術開発でない; fact5 -> int2: この人民革命党が技術開発でないならば想定し難くないか生起するかあるいは両方ともである; int1 & int2 -> hypothesis;
「この人民革命党は想定し難くないかあるいは生起するかもしくはどちらもだ」ということは誤っている
fact14 -> int3: もし仮にこの人民革命党は技術開発だとすると「想定し難くないかあるいはそれは生起するかあるいは両方だ」ということは嘘である; fact13 -> int4: もしもこの人民革命党が長ったらしいとすれば技術開発だ;
$facts$ = fact1: もしこの人民革命党が技術開発でないなら想定し難いかそれは生起するかまたは両方だ fact2: もし仮にその預け入れ金利が長ったらしくてまた遅いとすればあの左欄は長ったらしくない fact3: もしこのエリザベート公演が立ち掛けるとしたらこの人民革命党は技術開発でない fact4: 「「このエリザベート公演は想定し難くないし立ち掛けない」ということは間違っている」ということは成り立つ fact5: もしもなにかは技術開発でないとすれば想定し難くないかあるいはそれは生起するか両方ともだ fact6: 長ったらしい物は技術開発だ fact7: 「このエリザベート公演は浅黒くない一方で立ち掛ける」ということは間違っている fact8: もし何らかの物は技術開発であるならば「それは想定し難くないかあるいは生起するかもしくは両方ともだ」ということは成り立たない fact9: 「「このエリザベート公演は浅黒くないしそれは立ち掛けない」ということは真実だ」ということは間違いだ fact10: 仮に何かは立ち掛けないとすると生起しないかあるいは技術開発だ fact11: もしもこの左欄は長ったらしいということはないならば「この人民革命党は生起するしかつ技術開発だ」ということは間違いだ fact12: 「このエリザベート公演は浅黒くないしそれに立ち掛けない」ということは正しくないとするとこの人民革命党は技術開発でない ; $hypothesis$ = 「この人民革命党は想定し難くないかもしくは生起する」ということは成り立たない ; $proof$ = 
fact12 & fact9 -> int1: この人民革命党は技術開発でない; fact5 -> int2: この人民革命党が技術開発でないならば想定し難くないか生起するかあるいは両方ともである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしこの人民革命党が技術開発でないなら想定し難いかそれは生起するかまたは両方だ
事実2: もし仮にその預け入れ金利が長ったらしくてまた遅いとすればあの左欄は長ったらしくない
事実3: もしこのエリザベート公演が立ち掛けるとしたらこの人民革命党は技術開発でない
事実4: 「「このエリザベート公演は想定し難くないし立ち掛けない」ということは間違っている」ということは成り立つ
事実5: もしもなにかは技術開発でないとすれば想定し難くないかあるいはそれは生起するか両方ともだ
事実6: 長ったらしい物は技術開発だ
事実7: 「このエリザベート公演は浅黒くない一方で立ち掛ける」ということは間違っている
事実8: もし何らかの物は技術開発であるならば「それは想定し難くないかあるいは生起するかもしくは両方ともだ」ということは成り立たない
事実9: 「「このエリザベート公演は浅黒くないしそれは立ち掛けない」ということは真実だ」ということは間違いだ
事実10: 仮に何かは立ち掛けないとすると生起しないかあるいは技術開発だ
事実11: もしもこの左欄は長ったらしいということはないならば「この人民革命党は生起するしかつ技術開発だ」ということは間違いだ
事実12: 「このエリザベート公演は浅黒くないしそれに立ち掛けない」ということは正しくないとするとこの人民革命党は技術開発でない

仮説: 「この人民革命党は想定し難くないかもしくは生起する」ということは成り立たない
1. 事実12と事実9から、推論1: "この人民革命党は技術開発でない"が導かれる
2. 事実5から、推論2: "この人民革命党が技術開発でないならば想定し難くないか生起するかあるいは両方ともである"が導かれる
3. 推論1と推論2から、仮説が否定される

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