「その組織拡大は高度化するということはなくておまけに移り易くない」ということは成り立つということはない
fact1: この哀れみは及ばさないがそれは広がり難い fact2: 仮に何らかの物が悪しないならばその組織拡大は高度化するということはないし移り易くない fact3: もし仮にその脳死肝移植が政治的権力であるし興奮し易いならこの哀れみは政治的権力でない fact4: この船員法は高度化する fact5: 「なにがしかのものは釘であるということはないけれどそれは好ましい」ということは成り立たないなら好ましくない fact6: もしもなにがしかの物は一眠りしないけど悪しとすると高度化する fact7: もしあるものは政治的権力でないとすれば「それは釘でないしそれに好ましい」ということは確かであるということはない fact8: この哀れみは流行らない fact9: この哀れみは伸び始めるということはない fact10: もし「悪しない」物はあるとしたら「その脳死肝移植は高度化しない」ということは成り立つ fact11: その組織拡大は高度化しない fact12: その脳死肝移植は政治的権力であるし興奮し易い fact13: 好ましくない物は一眠りしないけれど悪し fact14: 仮にこの哀れみが及ばさないが広がり難いとすればその脳死肝移植は悪しない
fact14 & fact1 -> int1: その脳死肝移植は悪しない; int1 -> int2: 悪しということはないものはある; int2 & fact2 -> hypothesis;
fact14 & fact1 -> int1: ¬{B}{b}; int1 -> int2: (Ex): ¬{B}x; int2 & fact2 -> hypothesis;
「その組織拡大は高度化するということはないしさらに移り易いということはない」ということは成り立たない
fact16 -> int3: 仮に「この哀れみは一眠りするということはないがしかしそれは悪し」ということは成り立つとしたらそれは高度化する; fact20 -> int4: 仮にこの哀れみが好ましくないならば一眠りしないけれど悪し; fact19 -> int5: 仮に「この哀れみは釘でないがしかし好ましい」ということは間違っているとするとそれは好ましくない; fact18 -> int6: もしこの哀れみは政治的権力でないとすると「それは釘でなくてしかも好ましい」ということは間違いだ; fact15 & fact17 -> int7: この哀れみは政治的権力でない; int6 & int7 -> int8: 「「この哀れみは釘だということはないけど好ましい」ということは事実である」ということは成り立たない; int5 & int8 -> int9: この哀れみは好ましくない; int4 & int9 -> int10: この哀れみは一眠りしない一方で悪し; int3 & int10 -> int11: この哀れみは高度化する; int11 -> int12: なにがしかの物は高度化する;
$facts$ = fact1: この哀れみは及ばさないがそれは広がり難い fact2: 仮に何らかの物が悪しないならばその組織拡大は高度化するということはないし移り易くない fact3: もし仮にその脳死肝移植が政治的権力であるし興奮し易いならこの哀れみは政治的権力でない fact4: この船員法は高度化する fact5: 「なにがしかのものは釘であるということはないけれどそれは好ましい」ということは成り立たないなら好ましくない fact6: もしもなにがしかの物は一眠りしないけど悪しとすると高度化する fact7: もしあるものは政治的権力でないとすれば「それは釘でないしそれに好ましい」ということは確かであるということはない fact8: この哀れみは流行らない fact9: この哀れみは伸び始めるということはない fact10: もし「悪しない」物はあるとしたら「その脳死肝移植は高度化しない」ということは成り立つ fact11: その組織拡大は高度化しない fact12: その脳死肝移植は政治的権力であるし興奮し易い fact13: 好ましくない物は一眠りしないけれど悪し fact14: 仮にこの哀れみが及ばさないが広がり難いとすればその脳死肝移植は悪しない ; $hypothesis$ = 「その組織拡大は高度化するということはなくておまけに移り易くない」ということは成り立つということはない ; $proof$ = 
fact14 & fact1 -> int1: その脳死肝移植は悪しない; int1 -> int2: 悪しということはないものはある; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: この哀れみは及ばさないがそれは広がり難い
事実2: 仮に何らかの物が悪しないならばその組織拡大は高度化するということはないし移り易くない
事実3: もし仮にその脳死肝移植が政治的権力であるし興奮し易いならこの哀れみは政治的権力でない
事実4: この船員法は高度化する
事実5: 「なにがしかのものは釘であるということはないけれどそれは好ましい」ということは成り立たないなら好ましくない
事実6: もしもなにがしかの物は一眠りしないけど悪しとすると高度化する
事実7: もしあるものは政治的権力でないとすれば「それは釘でないしそれに好ましい」ということは確かであるということはない
事実8: この哀れみは流行らない
事実9: この哀れみは伸び始めるということはない
事実10: もし「悪しない」物はあるとしたら「その脳死肝移植は高度化しない」ということは成り立つ
事実11: その組織拡大は高度化しない
事実12: その脳死肝移植は政治的権力であるし興奮し易い
事実13: 好ましくない物は一眠りしないけれど悪し
事実14: 仮にこの哀れみが及ばさないが広がり難いとすればその脳死肝移植は悪しない

仮説: 「その組織拡大は高度化するということはなくておまけに移り易くない」ということは成り立つということはない
1. 事実14と事実1から、推論1: "その脳死肝移植は悪しない"が導かれる
2. 推論1から、推論2: "悪しということはないものはある"が導かれる
3. 推論2と事実2から、仮説が否定される

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