「あの成否はワーカビリティでないかもしくは若いかあるいは両方ともである」ということは事実と異なる
fact1: 「そのＤＮＳ．Ｂ．ｃｏｍは付す」ということは事実と異ならない fact2: もしそのＤＮＳ．Ｂ．ｃｏｍは刷り込まないとすると「あの全繊同盟は進入灯台であるし加えて叶う」ということは誤っていない fact3: もしもそのＤＮＳ．Ｂ．ｃｏｍが付すなら華々しくないがしかし現代詩である fact4: 「もしもそのＤＮＳ．Ｂ．ｃｏｍが華々しくないけど現代詩だとしたらそのＤＮＳ．Ｂ．ｃｏｍは刷り込むということはない」ということは成り立つ fact5: もしも「あの成否は滑落する」ということは本当であるとすると「それはワーカビリティであるということはないかあるいは若いかまたはどちらもだ」ということは事実と異なる fact6: ある物が進入灯台だししかも叶うとするとあの成否は滑落する
fact3 & fact1 -> int1: そのＤＮＳ．Ｂ．ｃｏｍは華々しくないがしかしそれは現代詩である; int1 & fact4 -> int2: そのＤＮＳ．Ｂ．ｃｏｍは刷り込まない; int2 & fact2 -> int3: あの全繊同盟は進入灯台でおまけに叶う; int3 -> int4: 「進入灯台であるしおまけに叶う」物はある; int4 & fact6 -> int5: あの成否は滑落する; int5 & fact5 -> hypothesis;
$facts$ = fact1: 「そのＤＮＳ．Ｂ．ｃｏｍは付す」ということは事実と異ならない fact2: もしそのＤＮＳ．Ｂ．ｃｏｍは刷り込まないとすると「あの全繊同盟は進入灯台であるし加えて叶う」ということは誤っていない fact3: もしもそのＤＮＳ．Ｂ．ｃｏｍが付すなら華々しくないがしかし現代詩である fact4: 「もしもそのＤＮＳ．Ｂ．ｃｏｍが華々しくないけど現代詩だとしたらそのＤＮＳ．Ｂ．ｃｏｍは刷り込むということはない」ということは成り立つ fact5: もしも「あの成否は滑落する」ということは本当であるとすると「それはワーカビリティであるということはないかあるいは若いかまたはどちらもだ」ということは事実と異なる fact6: ある物が進入灯台だししかも叶うとするとあの成否は滑落する ; $hypothesis$ = 「あの成否はワーカビリティでないかもしくは若いかあるいは両方ともである」ということは事実と異なる ; $proof$ = 
fact3 & fact1 -> int1: そのＤＮＳ．Ｂ．ｃｏｍは華々しくないがしかしそれは現代詩である; int1 & fact4 -> int2: そのＤＮＳ．Ｂ．ｃｏｍは刷り込まない; int2 & fact2 -> int3: あの全繊同盟は進入灯台でおまけに叶う; int3 -> int4: 「進入灯台であるしおまけに叶う」物はある; int4 & fact6 -> int5: あの成否は滑落する; int5 & fact5 -> hypothesis; __PROVED__
事実1: 「そのＤＮＳ．Ｂ．ｃｏｍは付す」ということは事実と異ならない
事実2: もしそのＤＮＳ．Ｂ．ｃｏｍは刷り込まないとすると「あの全繊同盟は進入灯台であるし加えて叶う」ということは誤っていない
事実3: もしもそのＤＮＳ．Ｂ．ｃｏｍが付すなら華々しくないがしかし現代詩である
事実4: 「もしもそのＤＮＳ．Ｂ．ｃｏｍが華々しくないけど現代詩だとしたらそのＤＮＳ．Ｂ．ｃｏｍは刷り込むということはない」ということは成り立つ
事実5: もしも「あの成否は滑落する」ということは本当であるとすると「それはワーカビリティであるということはないかあるいは若いかまたはどちらもだ」ということは事実と異なる
事実6: ある物が進入灯台だししかも叶うとするとあの成否は滑落する

仮説: 「あの成否はワーカビリティでないかもしくは若いかあるいは両方ともである」ということは事実と異なる
1. 事実3と事実1から、推論1: "そのＤＮＳ．Ｂ．ｃｏｍは華々しくないがしかしそれは現代詩である"が導かれる
2. 推論1と事実4から、推論2: "そのＤＮＳ．Ｂ．ｃｏｍは刷り込まない"が導かれる
3. 推論2と事実2から、推論3: "あの全繊同盟は進入灯台でおまけに叶う"が導かれる
4. 推論3から、推論4: "「進入灯台であるしおまけに叶う」物はある"が導かれる
5. 推論4と事実6から、推論5: "あの成否は滑落する"が導かれる
6. 推論5と事実5から、仮説が導かれる

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