「この出生児は真仮名であるし縺れ合う」ということは誤りだ
fact1: この出生児はＣＨＯルであるということはない fact2: 説明し難くないものはＣＨＯルであるし加えて逃げ散る fact3: 「もしもこの出生児がＣＨＯルでないとしたらこの出生児は真仮名だ」ということは真実である fact4: 仮にその小ねたが縺れ合えばこの出生児は縺れ合う fact5: もしも「その小ねたはオープン試験である」ということは確かだとすれば「切り替わるが小高くない」ということは偽だ fact6: 仮に「なにがしかのものは切り替わるが小高くない」ということは嘘であるとしたら説明し難くない fact7: もしもその小ねたは説明し難くないとすれば「この出生児は縺れ合わない」ということは成り立たない fact8: その小ねたは縺れ合うかまたは説明し難くない
fact3 & fact1 -> int1: この出生児は真仮名だ; fact7 & fact4 & fact8 -> int2: この出生児は縺れ合う; int1 & int2 -> hypothesis;
「この出生児は真仮名であるししかも縺れ合う」ということは偽である
fact11 -> int3: その小ねたが説明し難くないとすればそれはＣＨＯルであるしさらにそれは逃げ散る; fact9 -> int4: 「その小ねたは切り替わるが小高くない」ということは間違っていれば説明し難くない;
$facts$ = fact1: この出生児はＣＨＯルであるということはない fact2: 説明し難くないものはＣＨＯルであるし加えて逃げ散る fact3: 「もしもこの出生児がＣＨＯルでないとしたらこの出生児は真仮名だ」ということは真実である fact4: 仮にその小ねたが縺れ合えばこの出生児は縺れ合う fact5: もしも「その小ねたはオープン試験である」ということは確かだとすれば「切り替わるが小高くない」ということは偽だ fact6: 仮に「なにがしかのものは切り替わるが小高くない」ということは嘘であるとしたら説明し難くない fact7: もしもその小ねたは説明し難くないとすれば「この出生児は縺れ合わない」ということは成り立たない fact8: その小ねたは縺れ合うかまたは説明し難くない ; $hypothesis$ = 「この出生児は真仮名であるし縺れ合う」ということは誤りだ ; $proof$ = 
fact3 & fact1 -> int1: この出生児は真仮名だ; fact7 & fact4 & fact8 -> int2: この出生児は縺れ合う; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この出生児はＣＨＯルであるということはない
事実2: 説明し難くないものはＣＨＯルであるし加えて逃げ散る
事実3: 「もしもこの出生児がＣＨＯルでないとしたらこの出生児は真仮名だ」ということは真実である
事実4: 仮にその小ねたが縺れ合えばこの出生児は縺れ合う
事実5: もしも「その小ねたはオープン試験である」ということは確かだとすれば「切り替わるが小高くない」ということは偽だ
事実6: 仮に「なにがしかのものは切り替わるが小高くない」ということは嘘であるとしたら説明し難くない
事実7: もしもその小ねたは説明し難くないとすれば「この出生児は縺れ合わない」ということは成り立たない
事実8: その小ねたは縺れ合うかまたは説明し難くない

仮説: 「この出生児は真仮名であるし縺れ合う」ということは誤りだ
1. 事実3と事実1から、推論1: "この出生児は真仮名だ"が導かれる
2. 事実7と事実4と事実8から、推論2: "この出生児は縺れ合う"が導かれる
3. 推論1と推論2から、仮説が否定される

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