この留保所得は岩山基地である
fact1: この自己教育力は絶対的効力でない fact2: もし仮に絶対的効力が腐り易いとしたらこの自己教育力は逼迫する fact3: もし仮になんらかの物は海賊船でないならそれは逼迫するしさらに臭い fact4: 「もしもこのノーコックが臭いが絶対的効力であるということはないならばこの留保所得は岩山基地だということはない」ということは成り立つ fact5: このノーコックは腐り易い fact6: この自己教育力は通じ難い fact7: 「絶対的効力である」ものはある fact8: 「この自己教育力は紛糾する一方でそれは人懐こくない」ということは偽であるとすれば「このノーコックは紛糾しない」ということは本当だ fact9: 仮にこの略字が臭いとすればこのノーコックは臭い fact10: もしなにかは海賊船でないかあるいは逼迫しないとするとそれは逼迫しない fact11: もし仮に腐り易くない物は絶対的効力であるなら岩山基地だ fact12: 仮になにがしかのものは紛糾しないとすれば「施餓鬼会だし通じ難くない」ということは偽だ fact13: 「この略字は臭い」ということは正しい fact14: 「この自己教育力は紛糾する一方でそれは人懐こくない」ということは嘘である fact15: 仮にこの自己教育力が通じ難いとすればそれは海賊船であるということはないかもしくは逼迫しない
void -> assump1: 以下のように仮定する。このノーコックは絶対的効力だ; assump1 & fact5 -> int1: このノーコックは絶対的効力だし腐り易い; int1 -> int2: 「絶対的効力だし更に腐り易い」ものはある; int2 & fact2 -> int3: この自己教育力は逼迫する; fact6 & fact15 -> int4: この自己教育力は海賊船であるということはないかもしくはそれは逼迫するということはない; fact10 -> int5: 仮にこの自己教育力が海賊船でないかあるいはそれが逼迫するということはないなら逼迫しない; int4 & int5 -> int6: この自己教育力は逼迫しない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このノーコックは絶対的効力でない; fact9 & fact13 -> int9: このノーコックは臭い; int8 & int9 -> int10: このノーコックは臭いけど絶対的効力でない; int10 & fact4 -> hypothesis;
この留保所得は岩山基地だ
fact18 -> int11: 仮にこの留保所得が腐り易くないがそれが絶対的効力ならそれは岩山基地だ; fact20 -> int12: もしもこのノーコックは海賊船でないとするとそれは逼迫するし加えて臭い; fact19 -> int13: もしもこのノーコックは紛糾しないとすると「施餓鬼会だし通じ難くない」ということは偽である; fact16 & fact17 -> int14: このノーコックは紛糾するということはない; int13 & int14 -> int15: 「このノーコックが施餓鬼会だけどそれは通じ難くない」ということは成り立たない;
$facts$ = fact1: この自己教育力は絶対的効力でない fact2: もし仮に絶対的効力が腐り易いとしたらこの自己教育力は逼迫する fact3: もし仮になんらかの物は海賊船でないならそれは逼迫するしさらに臭い fact4: 「もしもこのノーコックが臭いが絶対的効力であるということはないならばこの留保所得は岩山基地だということはない」ということは成り立つ fact5: このノーコックは腐り易い fact6: この自己教育力は通じ難い fact7: 「絶対的効力である」ものはある fact8: 「この自己教育力は紛糾する一方でそれは人懐こくない」ということは偽であるとすれば「このノーコックは紛糾しない」ということは本当だ fact9: 仮にこの略字が臭いとすればこのノーコックは臭い fact10: もしなにかは海賊船でないかあるいは逼迫しないとするとそれは逼迫しない fact11: もし仮に腐り易くない物は絶対的効力であるなら岩山基地だ fact12: 仮になにがしかのものは紛糾しないとすれば「施餓鬼会だし通じ難くない」ということは偽だ fact13: 「この略字は臭い」ということは正しい fact14: 「この自己教育力は紛糾する一方でそれは人懐こくない」ということは嘘である fact15: 仮にこの自己教育力が通じ難いとすればそれは海賊船であるということはないかもしくは逼迫しない ; $hypothesis$ = この留保所得は岩山基地である ; $proof$ = 
void -> assump1: 以下のように仮定する。このノーコックは絶対的効力だ; assump1 & fact5 -> int1: このノーコックは絶対的効力だし腐り易い; int1 -> int2: 「絶対的効力だし更に腐り易い」ものはある; int2 & fact2 -> int3: この自己教育力は逼迫する; fact6 & fact15 -> int4: この自己教育力は海賊船であるということはないかもしくはそれは逼迫するということはない; fact10 -> int5: 仮にこの自己教育力が海賊船でないかあるいはそれが逼迫するということはないなら逼迫しない; int4 & int5 -> int6: この自己教育力は逼迫しない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このノーコックは絶対的効力でない; fact9 & fact13 -> int9: このノーコックは臭い; int8 & int9 -> int10: このノーコックは臭いけど絶対的効力でない; int10 & fact4 -> hypothesis; __DISPROVED__
事実1: この自己教育力は絶対的効力でない
事実2: もし仮に絶対的効力が腐り易いとしたらこの自己教育力は逼迫する
事実3: もし仮になんらかの物は海賊船でないならそれは逼迫するしさらに臭い
事実4: 「もしもこのノーコックが臭いが絶対的効力であるということはないならばこの留保所得は岩山基地だということはない」ということは成り立つ
事実5: このノーコックは腐り易い
事実6: この自己教育力は通じ難い
事実7: 「絶対的効力である」ものはある
事実8: 「この自己教育力は紛糾する一方でそれは人懐こくない」ということは偽であるとすれば「このノーコックは紛糾しない」ということは本当だ
事実9: 仮にこの略字が臭いとすればこのノーコックは臭い
事実10: もしなにかは海賊船でないかあるいは逼迫しないとするとそれは逼迫しない
事実11: もし仮に腐り易くない物は絶対的効力であるなら岩山基地だ
事実12: 仮になにがしかのものは紛糾しないとすれば「施餓鬼会だし通じ難くない」ということは偽だ
事実13: 「この略字は臭い」ということは正しい
事実14: 「この自己教育力は紛糾する一方でそれは人懐こくない」ということは嘘である
事実15: 仮にこの自己教育力が通じ難いとすればそれは海賊船であるということはないかもしくは逼迫しない

仮説: この留保所得は岩山基地である
1. 仮定1: 以下のように仮定する。このノーコックは絶対的効力だ
2. 仮定1と事実5から、推論1: "このノーコックは絶対的効力だし腐り易い"が導かれる
3. 推論1から、推論2: "「絶対的効力だし更に腐り易い」ものはある"が導かれる
4. 推論2と事実2から、推論3: "この自己教育力は逼迫する"が導かれる
5. 事実6と事実15から、推論4: "この自己教育力は海賊船であるということはないかもしくはそれは逼迫するということはない"が導かれる
6. 事実10から、推論5: "仮にこの自己教育力が海賊船でないかあるいはそれが逼迫するということはないなら逼迫しない"が導かれる
7. 推論4と推論5から、推論6: "この自己教育力は逼迫しない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "このノーコックは絶対的効力でない"が導かれる
10. 事実9と事実13から、推論9: "このノーコックは臭い"が導かれる
11. 推論8と推論9から、推論10: "このノーコックは臭いけど絶対的効力でない"が導かれる
12. 推論10と事実4から、仮説が否定される

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