その御遺体は損ねらない
fact1: 「もしもその腎機能障害時が射竦めなくてそれは摂食行動でないなら「その御遺体は板の間だ」ということは確かだ」ということは成り立つ fact2: 板の間は損ねる fact3: その腎機能障害時は射竦めなくて更に摂食行動であるということはない fact4: もし仮に板の間が寒しないとするとそれは損ねらない
fact1 & fact3 -> int1: その御遺体は板の間だ; fact2 -> int2: もし仮に「その御遺体は板の間である」ということは成り立つとすれば「それは損ねる」ということは確かだ; int1 & int2 -> hypothesis;
その御遺体は損ねらない
fact5 -> int3: 仮にその御遺体が板の間だがしかし寒しないとすると損ねらない;
$facts$ = fact1: 「もしもその腎機能障害時が射竦めなくてそれは摂食行動でないなら「その御遺体は板の間だ」ということは確かだ」ということは成り立つ fact2: 板の間は損ねる fact3: その腎機能障害時は射竦めなくて更に摂食行動であるということはない fact4: もし仮に板の間が寒しないとするとそれは損ねらない ; $hypothesis$ = その御遺体は損ねらない ; $proof$ = 
fact1 & fact3 -> int1: その御遺体は板の間だ; fact2 -> int2: もし仮に「その御遺体は板の間である」ということは成り立つとすれば「それは損ねる」ということは確かだ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「もしもその腎機能障害時が射竦めなくてそれは摂食行動でないなら「その御遺体は板の間だ」ということは確かだ」ということは成り立つ
事実2: 板の間は損ねる
事実3: その腎機能障害時は射竦めなくて更に摂食行動であるということはない
事実4: もし仮に板の間が寒しないとするとそれは損ねらない

仮説: その御遺体は損ねらない
1. 事実1と事実3から、推論1: "その御遺体は板の間だ"が導かれる
2. 事実2から、推論2: "もし仮に「その御遺体は板の間である」ということは成り立つとすれば「それは損ねる」ということは確かだ"が導かれる
3. 推論1と推論2から、仮説が否定される

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