その髄鞘は陥り易くないし更に活動し難いということはない
fact1: 仮にその鉄血宰相は独占体であるか収益計上すれば映し出さない fact2: 「その髄鞘は陥り易い一方で活動し難くない」ということは誤りだ fact3: 仮に「その鉄血宰相は映し出さない」ということは正しいとすれば「その髄鞘は陥り易いということはないし活動し難いということはない」ということは誤りだ fact4: その鉄血宰相は収益計上する
fact4 -> int1: その鉄血宰相は独占体であるか収益計上するか両方ともである; int1 & fact1 -> int2: その鉄血宰相は映し出さない; int2 & fact3 -> hypothesis;
$facts$ = fact1: 仮にその鉄血宰相は独占体であるか収益計上すれば映し出さない fact2: 「その髄鞘は陥り易い一方で活動し難くない」ということは誤りだ fact3: 仮に「その鉄血宰相は映し出さない」ということは正しいとすれば「その髄鞘は陥り易いということはないし活動し難いということはない」ということは誤りだ fact4: その鉄血宰相は収益計上する ; $hypothesis$ = その髄鞘は陥り易くないし更に活動し難いということはない ; $proof$ = 
fact4 -> int1: その鉄血宰相は独占体であるか収益計上するか両方ともである; int1 & fact1 -> int2: その鉄血宰相は映し出さない; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮にその鉄血宰相は独占体であるか収益計上すれば映し出さない
事実2: 「その髄鞘は陥り易い一方で活動し難くない」ということは誤りだ
事実3: 仮に「その鉄血宰相は映し出さない」ということは正しいとすれば「その髄鞘は陥り易いということはないし活動し難いということはない」ということは誤りだ
事実4: その鉄血宰相は収益計上する

仮説: その髄鞘は陥り易くないし更に活動し難いということはない
1. 事実4から、推論1: "その鉄血宰相は独占体であるか収益計上するか両方ともである"が導かれる
2. 推論1と事実1から、推論2: "その鉄血宰相は映し出さない"が導かれる
3. 推論2と事実3から、仮説が否定される

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