この派閥は心優しい
fact1: そのミズは珍しい fact2: 貴陽行きは差し戻すということはないけれど作り難い fact3: 仮にとあるものは差し戻さないがしかし作り難いとしたら心優しくない fact4: そのミズが珍しいならばこの派閥は貴陽行きだ
fact4 & fact1 -> int1: この派閥は貴陽行きだ; fact2 -> int2: 仮にこの派閥が貴陽行きなら差し戻さないし作り難い; int1 & int2 -> int3: この派閥は差し戻さないけど作り難い; fact3 -> int4: 仮にこの派閥が差し戻さないけれどそれが作り難いならばそれは心優しくない; int3 & int4 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; fact2 -> int2: {B}{b} -> (¬{C}{b} & {D}{b}); int1 & int2 -> int3: (¬{C}{b} & {D}{b}); fact3 -> int4: (¬{C}{b} & {D}{b}) -> ¬{E}{b}; int3 & int4 -> hypothesis;
$facts$ = fact1: そのミズは珍しい fact2: 貴陽行きは差し戻すということはないけれど作り難い fact3: 仮にとあるものは差し戻さないがしかし作り難いとしたら心優しくない fact4: そのミズが珍しいならばこの派閥は貴陽行きだ ; $hypothesis$ = この派閥は心優しい ; $proof$ = 
fact4 & fact1 -> int1: この派閥は貴陽行きだ; fact2 -> int2: 仮にこの派閥が貴陽行きなら差し戻さないし作り難い; int1 & int2 -> int3: この派閥は差し戻さないけど作り難い; fact3 -> int4: 仮にこの派閥が差し戻さないけれどそれが作り難いならばそれは心優しくない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: そのミズは珍しい
事実2: 貴陽行きは差し戻すということはないけれど作り難い
事実3: 仮にとあるものは差し戻さないがしかし作り難いとしたら心優しくない
事実4: そのミズが珍しいならばこの派閥は貴陽行きだ

仮説: この派閥は心優しい
1. 事実4と事実1から、推論1: "この派閥は貴陽行きだ"が導かれる
2. 事実2から、推論2: "仮にこの派閥が貴陽行きなら差し戻さないし作り難い"が導かれる
3. 推論1と推論2から、推論3: "この派閥は差し戻さないけど作り難い"が導かれる
4. 事実3から、推論4: "仮にこの派閥が差し戻さないけれどそれが作り難いならばそれは心優しくない"が導かれる
5. 推論3と推論4から、仮説が否定される

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