その全種類は塗り易いということはない
fact1: もし仮になんらかのものが水産物取り扱いだということはないとすれば塗り易い fact2: あるものは殺戮するしいなす fact3: 「殺戮するということはなくていなす」ものはある fact4: もし仮にこの全体図が寝惚けないとしたらその全種類は水産物取り扱いでない fact5: 仮に「殺戮しないがしかしいなす」ものがあればこの全体図は寝惚けない
fact3 & fact5 -> int1: この全体図は寝惚けるということはない; int1 & fact4 -> int2: その全種類は水産物取り扱いでない; fact1 -> int3: その全種類は水産物取り扱いでないなら「それは塗り易くない」ということは成り立たない; int2 & int3 -> hypothesis;
fact3 & fact5 -> int1: ¬{C}{a}; int1 & fact4 -> int2: ¬{D}{b}; fact1 -> int3: ¬{D}{b} -> {E}{b}; int2 & int3 -> hypothesis;
$facts$ = fact1: もし仮になんらかのものが水産物取り扱いだということはないとすれば塗り易い fact2: あるものは殺戮するしいなす fact3: 「殺戮するということはなくていなす」ものはある fact4: もし仮にこの全体図が寝惚けないとしたらその全種類は水産物取り扱いでない fact5: 仮に「殺戮しないがしかしいなす」ものがあればこの全体図は寝惚けない ; $hypothesis$ = その全種類は塗り易いということはない ; $proof$ = 
fact3 & fact5 -> int1: この全体図は寝惚けるということはない; int1 & fact4 -> int2: その全種類は水産物取り扱いでない; fact1 -> int3: その全種類は水産物取り扱いでないなら「それは塗り易くない」ということは成り立たない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかのものが水産物取り扱いだということはないとすれば塗り易い
事実2: あるものは殺戮するしいなす
事実3: 「殺戮するということはなくていなす」ものはある
事実4: もし仮にこの全体図が寝惚けないとしたらその全種類は水産物取り扱いでない
事実5: 仮に「殺戮しないがしかしいなす」ものがあればこの全体図は寝惚けない

仮説: その全種類は塗り易いということはない
1. 事実3と事実5から、推論1: "この全体図は寝惚けるということはない"が導かれる
2. 推論1と事実4から、推論2: "その全種類は水産物取り扱いでない"が導かれる
3. 事実1から、推論3: "その全種類は水産物取り扱いでないなら「それは塗り易くない」ということは成り立たない"が導かれる
4. 推論2と推論3から、仮説が否定される

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