そのＯＶは底深い
fact1: あのＤＮＡ鎖が単独使用でないが第二世原木だとするとそのＯＶは底深いということはない fact2: もしも他愛無くない物があるならあのＤＮＡ鎖は右心不全でない fact3: なにがしかの物は右心不全でないとしたら単独使用でない一方で第二世原木だ fact4: そのＯＶは注進しない fact5: 第二世原木は底深い一方で右心不全でない fact6: もし仮に何かは右心不全でないとすればそれは単独使用でない fact7: 「小子であるし他愛無い」物はある fact8: あのＤＮＡ鎖は単独使用でない fact9: もしあのＤＮＡ鎖は右心不全でないとすれば「単独使用でない」ということは成り立つ fact10: 「仮にあのＤＮＡ鎖が単独使用であるとしたらそのＯＶは第二世原木だ」ということは事実だ fact11: 仮にあのＤＮＡ鎖が単独使用であるしおまけに第二世原木であるならばあのＯＶは底深くない fact12: 「「小子であるしその上他愛無い」ということは成り立たない」物はある fact13: もし仮に「「「小子で加えて他愛無い」ということは成り立たない」物はある」ということは成り立つならあのＤＮＡ鎖は右心不全でない
fact12 & fact13 -> int1: あのＤＮＡ鎖は右心不全でない; fact3 -> int2: もしもあのＤＮＡ鎖が右心不全でないなら単独使用でないしかつ第二世原木だ; int1 & int2 -> int3: あのＤＮＡ鎖は単独使用でないがそれは第二世原木だ; int3 & fact1 -> hypothesis;
fact12 & fact13 -> int1: ¬{A}{a}; fact3 -> int2: ¬{A}{a} -> (¬{C}{a} & {B}{a}); int1 & int2 -> int3: (¬{C}{a} & {B}{a}); int3 & fact1 -> hypothesis;
そのＯＶは底深い
fact14 -> int4: もしも「そのＯＶは第二世原木でない」ということは成り立つということはないとするとそれは底深い一方で右心不全でない;
$facts$ = fact1: あのＤＮＡ鎖が単独使用でないが第二世原木だとするとそのＯＶは底深いということはない fact2: もしも他愛無くない物があるならあのＤＮＡ鎖は右心不全でない fact3: なにがしかの物は右心不全でないとしたら単独使用でない一方で第二世原木だ fact4: そのＯＶは注進しない fact5: 第二世原木は底深い一方で右心不全でない fact6: もし仮に何かは右心不全でないとすればそれは単独使用でない fact7: 「小子であるし他愛無い」物はある fact8: あのＤＮＡ鎖は単独使用でない fact9: もしあのＤＮＡ鎖は右心不全でないとすれば「単独使用でない」ということは成り立つ fact10: 「仮にあのＤＮＡ鎖が単独使用であるとしたらそのＯＶは第二世原木だ」ということは事実だ fact11: 仮にあのＤＮＡ鎖が単独使用であるしおまけに第二世原木であるならばあのＯＶは底深くない fact12: 「「小子であるしその上他愛無い」ということは成り立たない」物はある fact13: もし仮に「「「小子で加えて他愛無い」ということは成り立たない」物はある」ということは成り立つならあのＤＮＡ鎖は右心不全でない ; $hypothesis$ = そのＯＶは底深い ; $proof$ = 
fact12 & fact13 -> int1: あのＤＮＡ鎖は右心不全でない; fact3 -> int2: もしもあのＤＮＡ鎖が右心不全でないなら単独使用でないしかつ第二世原木だ; int1 & int2 -> int3: あのＤＮＡ鎖は単独使用でないがそれは第二世原木だ; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: あのＤＮＡ鎖が単独使用でないが第二世原木だとするとそのＯＶは底深いということはない
事実2: もしも他愛無くない物があるならあのＤＮＡ鎖は右心不全でない
事実3: なにがしかの物は右心不全でないとしたら単独使用でない一方で第二世原木だ
事実4: そのＯＶは注進しない
事実5: 第二世原木は底深い一方で右心不全でない
事実6: もし仮に何かは右心不全でないとすればそれは単独使用でない
事実7: 「小子であるし他愛無い」物はある
事実8: あのＤＮＡ鎖は単独使用でない
事実9: もしあのＤＮＡ鎖は右心不全でないとすれば「単独使用でない」ということは成り立つ
事実10: 「仮にあのＤＮＡ鎖が単独使用であるとしたらそのＯＶは第二世原木だ」ということは事実だ
事実11: 仮にあのＤＮＡ鎖が単独使用であるしおまけに第二世原木であるならばあのＯＶは底深くない
事実12: 「「小子であるしその上他愛無い」ということは成り立たない」物はある
事実13: もし仮に「「「小子で加えて他愛無い」ということは成り立たない」物はある」ということは成り立つならあのＤＮＡ鎖は右心不全でない

仮説: そのＯＶは底深い
1. 事実12と事実13から、推論1: "あのＤＮＡ鎖は右心不全でない"が導かれる
2. 事実3から、推論2: "もしもあのＤＮＡ鎖が右心不全でないなら単独使用でないしかつ第二世原木だ"が導かれる
3. 推論1と推論2から、推論3: "あのＤＮＡ鎖は単独使用でないがそれは第二世原木だ"が導かれる
4. 推論3と事実1から、仮説が否定される

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