その人格権は揉み上げる
fact1: その人格権は剥脱する fact2: その東京大学名誉教授はナチュラルキラー細胞だ fact3: もしもその人格権は血糖上昇であるならそれはナチュラルキラー細胞だ fact4: なんらかの物は転化するなら「揉み上げる」ということは成り立つ fact5: もし仮に「その人格権は運転し易いということはない」ということは事実と異なるとすると「転化する」ということは正しい fact6: その人格権は従属する fact7: もしもその人格権が極みだとしたらナチュラルキラー細胞だ fact8: 「この戦勝記念日は転化する」ということは誤りでない fact9: この垂直着陸は転化する fact10: もしもなにかは揉み上げるとするとそれはナチュラルキラー細胞である fact11: 「その男性ホルモンは寒々しかないけれどそれは外来患者である」ということは事実だということはない fact12: 「その人格権はナチュラルキラー細胞である」ということは確かだ fact13: もしある物は転化しないなら「揉み上げる一方でナチュラルキラー細胞でない」ということは成り立たない fact14: もし仮にその人格権はナチュラルキラー細胞であるとしたらそれは転化する
fact14 & fact12 -> int1: 「その人格権は転化する」ということは成り立つ; fact4 -> int2: もし仮にその人格権は転化すれば「それは揉み上げる」ということは本当である; int1 & int2 -> hypothesis;
fact14 & fact12 -> int1: {B}{a}; fact4 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
「その人格権は揉み上げない」ということは本当である
fact15 -> int3: 「「「寒々しかないがしかし外来患者である」ということは成り立つ」ということは成り立たない」ものはある;
$facts$ = fact1: その人格権は剥脱する fact2: その東京大学名誉教授はナチュラルキラー細胞だ fact3: もしもその人格権は血糖上昇であるならそれはナチュラルキラー細胞だ fact4: なんらかの物は転化するなら「揉み上げる」ということは成り立つ fact5: もし仮に「その人格権は運転し易いということはない」ということは事実と異なるとすると「転化する」ということは正しい fact6: その人格権は従属する fact7: もしもその人格権が極みだとしたらナチュラルキラー細胞だ fact8: 「この戦勝記念日は転化する」ということは誤りでない fact9: この垂直着陸は転化する fact10: もしもなにかは揉み上げるとするとそれはナチュラルキラー細胞である fact11: 「その男性ホルモンは寒々しかないけれどそれは外来患者である」ということは事実だということはない fact12: 「その人格権はナチュラルキラー細胞である」ということは確かだ fact13: もしある物は転化しないなら「揉み上げる一方でナチュラルキラー細胞でない」ということは成り立たない fact14: もし仮にその人格権はナチュラルキラー細胞であるとしたらそれは転化する ; $hypothesis$ = その人格権は揉み上げる ; $proof$ = 
fact14 & fact12 -> int1: 「その人格権は転化する」ということは成り立つ; fact4 -> int2: もし仮にその人格権は転化すれば「それは揉み上げる」ということは本当である; int1 & int2 -> hypothesis; __PROVED__
事実1: その人格権は剥脱する
事実2: その東京大学名誉教授はナチュラルキラー細胞だ
事実3: もしもその人格権は血糖上昇であるならそれはナチュラルキラー細胞だ
事実4: なんらかの物は転化するなら「揉み上げる」ということは成り立つ
事実5: もし仮に「その人格権は運転し易いということはない」ということは事実と異なるとすると「転化する」ということは正しい
事実6: その人格権は従属する
事実7: もしもその人格権が極みだとしたらナチュラルキラー細胞だ
事実8: 「この戦勝記念日は転化する」ということは誤りでない
事実9: この垂直着陸は転化する
事実10: もしもなにかは揉み上げるとするとそれはナチュラルキラー細胞である
事実11: 「その男性ホルモンは寒々しかないけれどそれは外来患者である」ということは事実だということはない
事実12: 「その人格権はナチュラルキラー細胞である」ということは確かだ
事実13: もしある物は転化しないなら「揉み上げる一方でナチュラルキラー細胞でない」ということは成り立たない
事実14: もし仮にその人格権はナチュラルキラー細胞であるとしたらそれは転化する

仮説: その人格権は揉み上げる
1. 事実14と事実12から、推論1: "「その人格権は転化する」ということは成り立つ"が導かれる
2. 事実4から、推論2: "もし仮にその人格権は転化すれば「それは揉み上げる」ということは本当である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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