その粗面小胞体は暗い
fact1: そのゴールディが再結集でないけれどそれが副葬すればその粗面小胞体は暗い fact2: その粗面小胞体は狙われ易くない fact3: もしなんらかの物は再結集であるとすれば「怯まないけれど暗い」ということは間違いである fact4: 暗い物が副葬するなら再結集でない fact5: もしその東京都市計画が狙われ易いならそのゴールディは副葬する fact6: そのゴールディが怯むということはないしさらにそれは再結集であるということはない fact7: その東京都市計画は狙われ易い fact8: もしも「何かは怯まないけれど暗い」ということは成り立つということはないとすると暗くない
fact6 -> int1: そのゴールディは再結集であるということはない; fact5 & fact7 -> int2: そのゴールディは副葬する; int1 & int2 -> int3: そのゴールディは再結集であるということはないがそれは副葬する; int3 & fact1 -> hypothesis;
あの秘儀は狙われ易い
fact9 -> int4: もし仮に「あの秘儀は暗いしさらに副葬する」ということは嘘でないならそれは再結集だということはない;
$facts$ = fact1: そのゴールディが再結集でないけれどそれが副葬すればその粗面小胞体は暗い fact2: その粗面小胞体は狙われ易くない fact3: もしなんらかの物は再結集であるとすれば「怯まないけれど暗い」ということは間違いである fact4: 暗い物が副葬するなら再結集でない fact5: もしその東京都市計画が狙われ易いならそのゴールディは副葬する fact6: そのゴールディが怯むということはないしさらにそれは再結集であるということはない fact7: その東京都市計画は狙われ易い fact8: もしも「何かは怯まないけれど暗い」ということは成り立つということはないとすると暗くない ; $hypothesis$ = その粗面小胞体は暗い ; $proof$ = 
fact6 -> int1: そのゴールディは再結集であるということはない; fact5 & fact7 -> int2: そのゴールディは副葬する; int1 & int2 -> int3: そのゴールディは再結集であるということはないがそれは副葬する; int3 & fact1 -> hypothesis; __PROVED__
事実1: そのゴールディが再結集でないけれどそれが副葬すればその粗面小胞体は暗い
事実2: その粗面小胞体は狙われ易くない
事実3: もしなんらかの物は再結集であるとすれば「怯まないけれど暗い」ということは間違いである
事実4: 暗い物が副葬するなら再結集でない
事実5: もしその東京都市計画が狙われ易いならそのゴールディは副葬する
事実6: そのゴールディが怯むということはないしさらにそれは再結集であるということはない
事実7: その東京都市計画は狙われ易い
事実8: もしも「何かは怯まないけれど暗い」ということは成り立つということはないとすると暗くない

仮説: その粗面小胞体は暗い
1. 事実6から、推論1: "そのゴールディは再結集であるということはない"が導かれる
2. 事実5と事実7から、推論2: "そのゴールディは副葬する"が導かれる
3. 推論1と推論2から、推論3: "そのゴールディは再結集であるということはないがそれは副葬する"が導かれる
4. 推論3と事実1から、仮説が導かれる

よって、仮説が証明されました。