「もしもそのＣＨオンが考え難いしさらに長しとしたらそのＣＨオンは犯し易くない」ということは成り立たない
fact1: 考え難いし長し物は犯し易くない fact2: 考え難いしその上長し物は犯し易い fact3: もしもそのＣＨオンは考え難くて長しならそれは犯し易い fact4: もし仮にそのＣＨオンは生み難いし犯し易いとすると「それは懐こくない」ということは真実だ
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 考え難いし長し物は犯し易くない fact2: 考え難いしその上長し物は犯し易い fact3: もしもそのＣＨオンは考え難くて長しならそれは犯し易い fact4: もし仮にそのＣＨオンは生み難いし犯し易いとすると「それは懐こくない」ということは真実だ ; $hypothesis$ = 「もしもそのＣＨオンが考え難いしさらに長しとしたらそのＣＨオンは犯し易くない」ということは成り立たない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 考え難いし長し物は犯し易くない
事実2: 考え難いしその上長し物は犯し易い
事実3: もしもそのＣＨオンは考え難くて長しならそれは犯し易い
事実4: もし仮にそのＣＨオンは生み難いし犯し易いとすると「それは懐こくない」ということは真実だ

仮説: 「もしもそのＣＨオンが考え難いしさらに長しとしたらそのＣＨオンは犯し易くない」ということは成り立たない
1. 事実1から、仮説が否定される

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