この被上告人等は瞑目しないけど上り易い
fact1: 血清濃度は鈍る fact2: もし「「「文書化出来るし呟き続けない」ということは間違いでない」ということは偽である」ものはあるなら「この被上告人等は上り易い」ということは確かだ fact3: この被上告人等は瞑目しない fact4: もしも「なにがしかの物は横振動であるということはない」ということは真実だとしたらそれは血清濃度であるしおまけに読み慣れる fact5: もしその専務理事は鈍るとすれば「この被上告人等は瞑目しないけれどそれは上り易い」ということは間違いである fact6: 「「「文書化出来るしかつ呟き続けない」ということは本当である」ということは誤っている」物はある fact7: この課税法人は瞑目しない
fact6 & fact2 -> int1: この被上告人等は上り易い; int1 & fact3 -> hypothesis;
「この被上告人等は瞑目しないけれど上り易い」ということは成り立たない
fact10 -> int2: 仮にその専務理事は血清濃度であるならそれは鈍る; fact9 -> int3: その専務理事が横振動でないとしたら血清濃度でおまけにそれは読み慣れる;
$facts$ = fact1: 血清濃度は鈍る fact2: もし「「「文書化出来るし呟き続けない」ということは間違いでない」ということは偽である」ものはあるなら「この被上告人等は上り易い」ということは確かだ fact3: この被上告人等は瞑目しない fact4: もしも「なにがしかの物は横振動であるということはない」ということは真実だとしたらそれは血清濃度であるしおまけに読み慣れる fact5: もしその専務理事は鈍るとすれば「この被上告人等は瞑目しないけれどそれは上り易い」ということは間違いである fact6: 「「「文書化出来るしかつ呟き続けない」ということは本当である」ということは誤っている」物はある fact7: この課税法人は瞑目しない ; $hypothesis$ = この被上告人等は瞑目しないけど上り易い ; $proof$ = 
fact6 & fact2 -> int1: この被上告人等は上り易い; int1 & fact3 -> hypothesis; __PROVED__
事実1: 血清濃度は鈍る
事実2: もし「「「文書化出来るし呟き続けない」ということは間違いでない」ということは偽である」ものはあるなら「この被上告人等は上り易い」ということは確かだ
事実3: この被上告人等は瞑目しない
事実4: もしも「なにがしかの物は横振動であるということはない」ということは真実だとしたらそれは血清濃度であるしおまけに読み慣れる
事実5: もしその専務理事は鈍るとすれば「この被上告人等は瞑目しないけれどそれは上り易い」ということは間違いである
事実6: 「「「文書化出来るしかつ呟き続けない」ということは本当である」ということは誤っている」物はある
事実7: この課税法人は瞑目しない

仮説: この被上告人等は瞑目しないけど上り易い
1. 事実6と事実2から、推論1: "この被上告人等は上り易い"が導かれる
2. 推論1と事実3から、仮説が導かれる

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