あの健常側膝は解し難くない
fact1: そのＴＶキャビネットは遠望出来る fact2: 「この満場がＲＯマンだしその上たわいない」ということは偽である fact3: この国家権力機関が勝ち易いとするとあの健常側膝は脳血管だ fact4: もし仮に「この満場がＲＯマンだしおまけにそれはたわいない」ということは間違いならそれはたわいなくない fact5: もしそのＴＶキャビネットが遠望出来ればあの御所様御一人は確立すらないし伊勢神宮であるということはない fact6: 「「脳血管でないか勝ち易いかあるいは両方な」物があるならこの国家権力機関は吊るさない」ということは間違いでない fact7: もしあの御所様御一人が獲得出来るとするとあの道家は脳血管でない fact8: 仮に「ある物は脳血管だ」ということは事実であるとすると「解し難い」ということは正しい fact9: 何時も乍らは暗し fact10: もし何らかのものが確立すということはないしおまけにそれは伊勢神宮でないならそれは獲得出来る fact11: 仮に「無理無くないかあるいは吊るすかもしくは両方ともである」物があればこの国家権力機関は勝ち易い fact12: 仮に「この満場はたわいないということはない」ということは確かであるとしたら滑り易いかもしくは何時も乍らだ fact13: 「無理無くないかあるいは吊るすかもしくは両方である」物はある fact14: もしもこの満場が暗しならこの国家権力機関は無理無い fact15: 滑り易い物は暗し
fact13 & fact11 -> int1: この国家権力機関は勝ち易い; int1 & fact3 -> int2: あの健常側膝は脳血管だ; fact8 -> int3: 仮にあの健常側膝は脳血管であるならば「解し難い」ということは事実だ; int2 & int3 -> hypothesis;
fact13 & fact11 -> int1: {C}{a}; int1 & fact3 -> int2: {D}{b}; fact8 -> int3: {D}{b} -> {E}{b}; int2 & int3 -> hypothesis;
あの健常側膝は解し難くない
fact20 & fact25 -> int4: 「この満場はたわいなくない」ということは間違っていない; fact16 & int4 -> int5: この満場は滑り易いかもしくはそれは何時も乍らであるかまたは両方ともである; fact18 -> int6: もし仮にこの満場は滑り易いとすれば「暗し」ということは事実だ; fact22 -> int7: 仮にこの満場は何時も乍らであるとすれば暗し; int5 & int6 & int7 -> int8: この満場は暗し; fact21 & int8 -> int9: この国家権力機関は無理無い; fact23 -> int10: もしもあの御所様御一人が確立すらないし伊勢神宮でないとすれば獲得出来る; fact17 & fact24 -> int11: あの御所様御一人は確立すらなくて伊勢神宮でない; int10 & int11 -> int12: あの御所様御一人は獲得出来る; fact26 & int12 -> int13: あの道家は脳血管でない; int13 -> int14: あの道家は脳血管だということはないかまたは勝ち易いかもしくはどちらもである; int14 -> int15: なにがしかの物は脳血管でないか勝ち易いかもしくはどちらもだ; int15 & fact19 -> int16: 「この国家権力機関は吊るさない」ということは間違っていない; int9 & int16 -> int17: この国家権力機関は無理無いけど吊るさない; int17 -> int18: 「無理無いけれど吊るさない」物はある;
$facts$ = fact1: そのＴＶキャビネットは遠望出来る fact2: 「この満場がＲＯマンだしその上たわいない」ということは偽である fact3: この国家権力機関が勝ち易いとするとあの健常側膝は脳血管だ fact4: もし仮に「この満場がＲＯマンだしおまけにそれはたわいない」ということは間違いならそれはたわいなくない fact5: もしそのＴＶキャビネットが遠望出来ればあの御所様御一人は確立すらないし伊勢神宮であるということはない fact6: 「「脳血管でないか勝ち易いかあるいは両方な」物があるならこの国家権力機関は吊るさない」ということは間違いでない fact7: もしあの御所様御一人が獲得出来るとするとあの道家は脳血管でない fact8: 仮に「ある物は脳血管だ」ということは事実であるとすると「解し難い」ということは正しい fact9: 何時も乍らは暗し fact10: もし何らかのものが確立すということはないしおまけにそれは伊勢神宮でないならそれは獲得出来る fact11: 仮に「無理無くないかあるいは吊るすかもしくは両方ともである」物があればこの国家権力機関は勝ち易い fact12: 仮に「この満場はたわいないということはない」ということは確かであるとしたら滑り易いかもしくは何時も乍らだ fact13: 「無理無くないかあるいは吊るすかもしくは両方である」物はある fact14: もしもこの満場が暗しならこの国家権力機関は無理無い fact15: 滑り易い物は暗し ; $hypothesis$ = あの健常側膝は解し難くない ; $proof$ = 
fact13 & fact11 -> int1: この国家権力機関は勝ち易い; int1 & fact3 -> int2: あの健常側膝は脳血管だ; fact8 -> int3: 仮にあの健常側膝は脳血管であるならば「解し難い」ということは事実だ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: そのＴＶキャビネットは遠望出来る
事実2: 「この満場がＲＯマンだしその上たわいない」ということは偽である
事実3: この国家権力機関が勝ち易いとするとあの健常側膝は脳血管だ
事実4: もし仮に「この満場がＲＯマンだしおまけにそれはたわいない」ということは間違いならそれはたわいなくない
事実5: もしそのＴＶキャビネットが遠望出来ればあの御所様御一人は確立すらないし伊勢神宮であるということはない
事実6: 「「脳血管でないか勝ち易いかあるいは両方な」物があるならこの国家権力機関は吊るさない」ということは間違いでない
事実7: もしあの御所様御一人が獲得出来るとするとあの道家は脳血管でない
事実8: 仮に「ある物は脳血管だ」ということは事実であるとすると「解し難い」ということは正しい
事実9: 何時も乍らは暗し
事実10: もし何らかのものが確立すということはないしおまけにそれは伊勢神宮でないならそれは獲得出来る
事実11: 仮に「無理無くないかあるいは吊るすかもしくは両方ともである」物があればこの国家権力機関は勝ち易い
事実12: 仮に「この満場はたわいないということはない」ということは確かであるとしたら滑り易いかもしくは何時も乍らだ
事実13: 「無理無くないかあるいは吊るすかもしくは両方である」物はある
事実14: もしもこの満場が暗しならこの国家権力機関は無理無い
事実15: 滑り易い物は暗し

仮説: あの健常側膝は解し難くない
1. 事実13と事実11から、推論1: "この国家権力機関は勝ち易い"が導かれる
2. 推論1と事実3から、推論2: "あの健常側膝は脳血管だ"が導かれる
3. 事実8から、推論3: "仮にあの健常側膝は脳血管であるならば「解し難い」ということは事実だ"が導かれる
4. 推論2と推論3から、仮説が否定される

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