「「仮に手慣れないとすると「所らしいししかも減衰する」ということは真実な」ものはある」ということは成り立たない
fact1: めぼしくない物はドイツ哲学だしかつ所らしい fact2: もし仮になにかは手慣れないならば所らしいしかつ減衰する
fact2 -> int1: 仮にそのホルツマンが手慣れないならば所らしいしその上減衰する; int1 -> hypothesis;
もし仮に「このゲラはめぼしいということはない」ということは真実であるとしたらそれはドイツ哲学であるし所らしい
fact3 -> hypothesis;
$facts$ = fact1: めぼしくない物はドイツ哲学だしかつ所らしい fact2: もし仮になにかは手慣れないならば所らしいしかつ減衰する ; $hypothesis$ = 「「仮に手慣れないとすると「所らしいししかも減衰する」ということは真実な」ものはある」ということは成り立たない ; $proof$ = 
fact2 -> int1: 仮にそのホルツマンが手慣れないならば所らしいしその上減衰する; int1 -> hypothesis; __DISPROVED__
事実1: めぼしくない物はドイツ哲学だしかつ所らしい
事実2: もし仮になにかは手慣れないならば所らしいしかつ減衰する

仮説: 「「仮に手慣れないとすると「所らしいししかも減衰する」ということは真実な」ものはある」ということは成り立たない
1. 事実2から、推論1: "仮にそのホルツマンが手慣れないならば所らしいしその上減衰する"が導かれる
2. 推論1から、仮説が否定される

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