「「当該供用年度以後でないなら「握り易くなくてそれに眠たいということはない」ということは成り立たない」ものはある」ということは成り立たない
fact1: 「もしも当該供用年度以後だとしたら「握り易くないし加えて眠たいということはない」ということは成り立つということはない」ものはある fact2: もしなにがしかの物は接ぎ穂でないならば「それは握り易くないし打ち抜かない」ということは成り立たない fact3: もし仮にあの帆船シリーズナンバーは当該供用年度以後でないとしたら「それは握り易くなくてまた眠たいということはない」ということは嘘である fact4: 「もしも当該供用年度以後でないとすると「握り易いしさらに眠たくない」ということは真実でない」ものはある fact5: 「仮に当該供用年度以後でないとすれば「握り易くない一方で眠たい」ということは成り立たない」物はある
fact3 -> hypothesis;
もし仮にその太政類典は接ぎ穂だということはないとしたら「握り易くないし打ち抜かない」ということは成り立たない
fact6 -> hypothesis;
$facts$ = fact1: 「もしも当該供用年度以後だとしたら「握り易くないし加えて眠たいということはない」ということは成り立つということはない」ものはある fact2: もしなにがしかの物は接ぎ穂でないならば「それは握り易くないし打ち抜かない」ということは成り立たない fact3: もし仮にあの帆船シリーズナンバーは当該供用年度以後でないとしたら「それは握り易くなくてまた眠たいということはない」ということは嘘である fact4: 「もしも当該供用年度以後でないとすると「握り易いしさらに眠たくない」ということは真実でない」ものはある fact5: 「仮に当該供用年度以後でないとすれば「握り易くない一方で眠たい」ということは成り立たない」物はある ; $hypothesis$ = 「「当該供用年度以後でないなら「握り易くなくてそれに眠たいということはない」ということは成り立たない」ものはある」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「もしも当該供用年度以後だとしたら「握り易くないし加えて眠たいということはない」ということは成り立つということはない」ものはある
事実2: もしなにがしかの物は接ぎ穂でないならば「それは握り易くないし打ち抜かない」ということは成り立たない
事実3: もし仮にあの帆船シリーズナンバーは当該供用年度以後でないとしたら「それは握り易くなくてまた眠たいということはない」ということは嘘である
事実4: 「もしも当該供用年度以後でないとすると「握り易いしさらに眠たくない」ということは真実でない」ものはある
事実5: 「仮に当該供用年度以後でないとすれば「握り易くない一方で眠たい」ということは成り立たない」物はある

仮説: 「「当該供用年度以後でないなら「握り易くなくてそれに眠たいということはない」ということは成り立たない」ものはある」ということは成り立たない
1. 事実3から、仮説が否定される

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