「もしこのパート譜が大量発生するとするとあの独占状態はしつっこい」ということは誤っている
fact1: もし「あの首皇子は焦げ色だけれど攻め込まない」ということは嘘だとしたらあの生き甲斐は確からしい fact2: 「あの首皇子は浅黒いし更にそれは攻め込む」ということは誤っている fact3: 「なにかは確からしいがしかし浅黒いということはない」ということは誤っていればしつっこい fact4: もしあの生き甲斐は確からしいとしたら「あの独占状態は確からしいが浅黒くない」ということは成り立たない fact5: 「何らかのものはドットだが山深くない」ということは嘘なら設定し為さる fact6: もしもとあるものが攻め込むとしたらそれは浅黒い fact7: もしも「あの首皇子は攻め込む」ということは正しいとするとあの生き甲斐は確からしい fact8: もしこのパート譜は大量発生するとすると「「あの首皇子は焦げ色であるけれど攻め込まない」ということは成り立つ」ということは正しくない fact9: 「仮にあの首皇子が大量発生するとするとこのパート譜は焦げ色だ」ということは本当である fact10: あの首皇子は綻び始める
void -> assump1: 以下のように仮定する。このパート譜は大量発生する; fact8 & assump1 -> int1: 「あの首皇子は焦げ色である一方で攻め込まない」ということは成り立たない; int1 & fact1 -> int2: あの生き甲斐は確からしい; int2 & fact4 -> int3: 「あの独占状態は確からしいがしかし浅黒くない」ということは偽である; fact3 -> int4: もし「あの独占状態は確からしいけれど浅黒いということはない」ということは成り立たないとするとしつっこい; int3 & int4 -> int5: あの独占状態はしつっこい; [assump1] & int5 -> hypothesis;
もし「あの首皇子はドットだけど山深くない」ということは本当でないとすると設定し為さる
fact11 -> hypothesis;
$facts$ = fact1: もし「あの首皇子は焦げ色だけれど攻め込まない」ということは嘘だとしたらあの生き甲斐は確からしい fact2: 「あの首皇子は浅黒いし更にそれは攻め込む」ということは誤っている fact3: 「なにかは確からしいがしかし浅黒いということはない」ということは誤っていればしつっこい fact4: もしあの生き甲斐は確からしいとしたら「あの独占状態は確からしいが浅黒くない」ということは成り立たない fact5: 「何らかのものはドットだが山深くない」ということは嘘なら設定し為さる fact6: もしもとあるものが攻め込むとしたらそれは浅黒い fact7: もしも「あの首皇子は攻め込む」ということは正しいとするとあの生き甲斐は確からしい fact8: もしこのパート譜は大量発生するとすると「「あの首皇子は焦げ色であるけれど攻め込まない」ということは成り立つ」ということは正しくない fact9: 「仮にあの首皇子が大量発生するとするとこのパート譜は焦げ色だ」ということは本当である fact10: あの首皇子は綻び始める ; $hypothesis$ = 「もしこのパート譜が大量発生するとするとあの独占状態はしつっこい」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。このパート譜は大量発生する; fact8 & assump1 -> int1: 「あの首皇子は焦げ色である一方で攻め込まない」ということは成り立たない; int1 & fact1 -> int2: あの生き甲斐は確からしい; int2 & fact4 -> int3: 「あの独占状態は確からしいがしかし浅黒くない」ということは偽である; fact3 -> int4: もし「あの独占状態は確からしいけれど浅黒いということはない」ということは成り立たないとするとしつっこい; int3 & int4 -> int5: あの独占状態はしつっこい; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もし「あの首皇子は焦げ色だけれど攻め込まない」ということは嘘だとしたらあの生き甲斐は確からしい
事実2: 「あの首皇子は浅黒いし更にそれは攻め込む」ということは誤っている
事実3: 「なにかは確からしいがしかし浅黒いということはない」ということは誤っていればしつっこい
事実4: もしあの生き甲斐は確からしいとしたら「あの独占状態は確からしいが浅黒くない」ということは成り立たない
事実5: 「何らかのものはドットだが山深くない」ということは嘘なら設定し為さる
事実6: もしもとあるものが攻め込むとしたらそれは浅黒い
事実7: もしも「あの首皇子は攻め込む」ということは正しいとするとあの生き甲斐は確からしい
事実8: もしこのパート譜は大量発生するとすると「「あの首皇子は焦げ色であるけれど攻め込まない」ということは成り立つ」ということは正しくない
事実9: 「仮にあの首皇子が大量発生するとするとこのパート譜は焦げ色だ」ということは本当である
事実10: あの首皇子は綻び始める

仮説: 「もしこのパート譜が大量発生するとするとあの独占状態はしつっこい」ということは誤っている
1. 仮定1: 以下のように仮定する。このパート譜は大量発生する
2. 事実8と仮定1から、推論1: "「あの首皇子は焦げ色である一方で攻め込まない」ということは成り立たない"が導かれる
3. 推論1と事実1から、推論2: "あの生き甲斐は確からしい"が導かれる
4. 推論2と事実4から、推論3: "「あの独占状態は確からしいがしかし浅黒くない」ということは偽である"が導かれる
5. 事実3から、推論4: "もし「あの独占状態は確からしいけれど浅黒いということはない」ということは成り立たないとするとしつっこい"が導かれる
6. 推論3と推論4から、推論5: "あの独占状態はしつっこい"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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