この第一コーナーはか細くない
fact1: もしもあるものは触診するとすると「それは揺るがしないがしかしか細い」ということは誤っている fact2: 仮にとあるものは触診するなら「ＣＡＨだ」ということは事実である fact3: この第一コーナーは揺るがすしまた触診する fact4: この第一コーナーは触診する fact5: 仮にこの第一コーナーは揺るがせばそれはか細い
fact3 -> int1: この第一コーナーは揺るがす; int1 & fact5 -> hypothesis;
この第一コーナーはか細くない
fact6 -> int2: もしもこの第一コーナーは触診するとしたら「揺るがしないがしかしか細い」ということは成り立たない;
$facts$ = fact1: もしもあるものは触診するとすると「それは揺るがしないがしかしか細い」ということは誤っている fact2: 仮にとあるものは触診するなら「ＣＡＨだ」ということは事実である fact3: この第一コーナーは揺るがすしまた触診する fact4: この第一コーナーは触診する fact5: 仮にこの第一コーナーは揺るがせばそれはか細い ; $hypothesis$ = この第一コーナーはか細くない ; $proof$ = 
fact3 -> int1: この第一コーナーは揺るがす; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもあるものは触診するとすると「それは揺るがしないがしかしか細い」ということは誤っている
事実2: 仮にとあるものは触診するなら「ＣＡＨだ」ということは事実である
事実3: この第一コーナーは揺るがすしまた触診する
事実4: この第一コーナーは触診する
事実5: 仮にこの第一コーナーは揺るがせばそれはか細い

仮説: この第一コーナーはか細くない
1. 事実3から、推論1: "この第一コーナーは揺るがす"が導かれる
2. 推論1と事実5から、仮説が否定される

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