この空洞周囲は悪戯っぽくない
fact1: その棺桶は故障するしかつそれはされ易い fact2: もし仮に「故障するしおまけにされ易い」ものがあるならその原理主義は覚え易くない fact3: その原理主義が覚え易くないならばその糖尿病網膜症は最上層でないけれどそれは覚え易い fact4: もしなにかは最上層でないが覚え易いならばこの空洞周囲は悪戯っぽい
fact1 -> int1: あるものは故障するしされ易い; int1 & fact2 -> int2: その原理主義は覚え易くない; int2 & fact3 -> int3: その糖尿病網膜症は最上層でないがそれは覚え易い; int3 -> int4: なにがしかの物は最上層でない一方でそれは覚え易い; int4 & fact4 -> hypothesis;
$facts$ = fact1: その棺桶は故障するしかつそれはされ易い fact2: もし仮に「故障するしおまけにされ易い」ものがあるならその原理主義は覚え易くない fact3: その原理主義が覚え易くないならばその糖尿病網膜症は最上層でないけれどそれは覚え易い fact4: もしなにかは最上層でないが覚え易いならばこの空洞周囲は悪戯っぽい ; $hypothesis$ = この空洞周囲は悪戯っぽくない ; $proof$ = 
fact1 -> int1: あるものは故障するしされ易い; int1 & fact2 -> int2: その原理主義は覚え易くない; int2 & fact3 -> int3: その糖尿病網膜症は最上層でないがそれは覚え易い; int3 -> int4: なにがしかの物は最上層でない一方でそれは覚え易い; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: その棺桶は故障するしかつそれはされ易い
事実2: もし仮に「故障するしおまけにされ易い」ものがあるならその原理主義は覚え易くない
事実3: その原理主義が覚え易くないならばその糖尿病網膜症は最上層でないけれどそれは覚え易い
事実4: もしなにかは最上層でないが覚え易いならばこの空洞周囲は悪戯っぽい

仮説: この空洞周囲は悪戯っぽくない
1. 事実1から、推論1: "あるものは故障するしされ易い"が導かれる
2. 推論1と事実2から、推論2: "その原理主義は覚え易くない"が導かれる
3. 推論2と事実3から、推論3: "その糖尿病網膜症は最上層でないがそれは覚え易い"が導かれる
4. 推論3から、推論4: "なにがしかの物は最上層でない一方でそれは覚え易い"が導かれる
5. 推論4と事実4から、仮説が否定される

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