そのＤＮＡマーカーは握り易い
fact1: その手術歴は二塁手であるしブロックアイコンだ fact2: もしもあの軽量がブロックアイコンであるし首尾良いとするとそのＤＮＡマーカーは握り易くない fact3: あの軽量はブロックアイコンである fact4: あの公的弁護制度は握り易い fact5: そのＤＮＡマーカーは取り終わるしまたそれは二塁手である fact6: そのＤＮＡマーカーはブロックアイコンである fact7: もし何かは上下すれば御蹴る fact8: もしそのＤＮＡマーカーがブロックアイコンでそれに首尾良いならばあの軽量は握り易いということはない fact9: あの軽量は首尾良い fact10: そのＤＮＡマーカーはクランクブロスである fact11: その○○ちゃんは握り易くない fact12: 仮に何かは御蹴るとすればそれは首尾良くないか深くないかあるいは両方である fact13: 首尾良くない物は握り易いしブロックアイコンだ fact14: もしも何かは探し続けるとしたら「上下するし御固くない」ということは成り立たない fact15: もし仮に「あの軽量は首尾良くないかまたは深いということはないかまたは両方である」ということは成り立つとしたらそのＤＮＡマーカーは首尾良くない fact16: もしも「「その体中は上下するがしかし御固くない」ということは成り立つ」ということは成り立たないとすればあの軽量は上下する
fact3 & fact9 -> int1: あの軽量はブロックアイコンであるしそれは首尾良い; int1 & fact2 -> hypothesis;
そのＤＮＡマーカーは握り易い
fact21 -> int2: もしそのＤＮＡマーカーが首尾良くないとするとそれは握り易いし更にブロックアイコンである; fact22 -> int3: もしあの軽量が御蹴るとしたらそれは首尾良いということはないかもしくは深いということはないかあるいはどちらもだ; fact19 -> int4: 「あの軽量は上下する」ということは本当だとしたらそれは御蹴る; fact18 -> int5: その体中は探し続けるとすると「それは上下するがしかし御固くない」ということは成り立たない;
$facts$ = fact1: その手術歴は二塁手であるしブロックアイコンだ fact2: もしもあの軽量がブロックアイコンであるし首尾良いとするとそのＤＮＡマーカーは握り易くない fact3: あの軽量はブロックアイコンである fact4: あの公的弁護制度は握り易い fact5: そのＤＮＡマーカーは取り終わるしまたそれは二塁手である fact6: そのＤＮＡマーカーはブロックアイコンである fact7: もし何かは上下すれば御蹴る fact8: もしそのＤＮＡマーカーがブロックアイコンでそれに首尾良いならばあの軽量は握り易いということはない fact9: あの軽量は首尾良い fact10: そのＤＮＡマーカーはクランクブロスである fact11: その○○ちゃんは握り易くない fact12: 仮に何かは御蹴るとすればそれは首尾良くないか深くないかあるいは両方である fact13: 首尾良くない物は握り易いしブロックアイコンだ fact14: もしも何かは探し続けるとしたら「上下するし御固くない」ということは成り立たない fact15: もし仮に「あの軽量は首尾良くないかまたは深いということはないかまたは両方である」ということは成り立つとしたらそのＤＮＡマーカーは首尾良くない fact16: もしも「「その体中は上下するがしかし御固くない」ということは成り立つ」ということは成り立たないとすればあの軽量は上下する ; $hypothesis$ = そのＤＮＡマーカーは握り易い ; $proof$ = 
fact3 & fact9 -> int1: あの軽量はブロックアイコンであるしそれは首尾良い; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: その手術歴は二塁手であるしブロックアイコンだ
事実2: もしもあの軽量がブロックアイコンであるし首尾良いとするとそのＤＮＡマーカーは握り易くない
事実3: あの軽量はブロックアイコンである
事実4: あの公的弁護制度は握り易い
事実5: そのＤＮＡマーカーは取り終わるしまたそれは二塁手である
事実6: そのＤＮＡマーカーはブロックアイコンである
事実7: もし何かは上下すれば御蹴る
事実8: もしそのＤＮＡマーカーがブロックアイコンでそれに首尾良いならばあの軽量は握り易いということはない
事実9: あの軽量は首尾良い
事実10: そのＤＮＡマーカーはクランクブロスである
事実11: その○○ちゃんは握り易くない
事実12: 仮に何かは御蹴るとすればそれは首尾良くないか深くないかあるいは両方である
事実13: 首尾良くない物は握り易いしブロックアイコンだ
事実14: もしも何かは探し続けるとしたら「上下するし御固くない」ということは成り立たない
事実15: もし仮に「あの軽量は首尾良くないかまたは深いということはないかまたは両方である」ということは成り立つとしたらそのＤＮＡマーカーは首尾良くない
事実16: もしも「「その体中は上下するがしかし御固くない」ということは成り立つ」ということは成り立たないとすればあの軽量は上下する

仮説: そのＤＮＡマーカーは握り易い
1. 事実3と事実9から、推論1: "あの軽量はブロックアイコンであるしそれは首尾良い"が導かれる
2. 推論1と事実2から、仮説が否定される

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