「この冠は捕らえ易いし加えて染み込み易い」ということは誤っている
fact1: もしこの総過程が縁付かないならばこの冠は疑わしい一方でそれは複数でない fact2: この冠は染み込み易くてそれに寄り合い回数だ fact3: この総過程は縁付かない fact4: もしなにかは疑わしいけど複数でないならば捕らえ易い
fact1 & fact3 -> int1: この冠は疑わしいけど複数でない; fact4 -> int2: この冠が疑わしいけれど複数でないとすると捕らえ易い; int1 & int2 -> int3: この冠は捕らえ易い; fact2 -> int4: この冠は染み込み易い; int3 & int4 -> hypothesis;
$facts$ = fact1: もしこの総過程が縁付かないならばこの冠は疑わしい一方でそれは複数でない fact2: この冠は染み込み易くてそれに寄り合い回数だ fact3: この総過程は縁付かない fact4: もしなにかは疑わしいけど複数でないならば捕らえ易い ; $hypothesis$ = 「この冠は捕らえ易いし加えて染み込み易い」ということは誤っている ; $proof$ = 
fact1 & fact3 -> int1: この冠は疑わしいけど複数でない; fact4 -> int2: この冠が疑わしいけれど複数でないとすると捕らえ易い; int1 & int2 -> int3: この冠は捕らえ易い; fact2 -> int4: この冠は染み込み易い; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしこの総過程が縁付かないならばこの冠は疑わしい一方でそれは複数でない
事実2: この冠は染み込み易くてそれに寄り合い回数だ
事実3: この総過程は縁付かない
事実4: もしなにかは疑わしいけど複数でないならば捕らえ易い

仮説: 「この冠は捕らえ易いし加えて染み込み易い」ということは誤っている
1. 事実1と事実3から、推論1: "この冠は疑わしいけど複数でない"が導かれる
2. 事実4から、推論2: "この冠が疑わしいけれど複数でないとすると捕らえ易い"が導かれる
3. 推論1と推論2から、推論3: "この冠は捕らえ易い"が導かれる
4. 事実2から、推論4: "この冠は染み込み易い"が導かれる
5. 推論3と推論4から、仮説が否定される

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