その首府はハイカーでない
fact1: 直り切るということはないけど継続するという物はない fact2: もしもなにかはハイカーであるなら「それは着せがましかないしかつ遅蒔きだ」ということは嘘だ fact3: 仮に「その首府は直り切らないがしかし継続する」ということは誤りだとすればハイカーである fact4: もしもその首府が直り切るとしたらそれはハイカーである fact5: 直り切るし継続するという物はない fact6: 「「その判子代は継続するということはないけれど生臭い」ということは真実だ」ということは成り立つということはない
fact1 -> int1: 「その首府は直り切るということはないがそれは継続する」ということは間違っている; int1 & fact3 -> hypothesis;
「それは着せがましかないしまた遅蒔きである」ということは成り立つという物はない
fact7 -> int2: もし仮にこの行為目標はハイカーであるならば「それは着せがましかないけれど遅蒔きだ」ということは成り立つということはない;
$facts$ = fact1: 直り切るということはないけど継続するという物はない fact2: もしもなにかはハイカーであるなら「それは着せがましかないしかつ遅蒔きだ」ということは嘘だ fact3: 仮に「その首府は直り切らないがしかし継続する」ということは誤りだとすればハイカーである fact4: もしもその首府が直り切るとしたらそれはハイカーである fact5: 直り切るし継続するという物はない fact6: 「「その判子代は継続するということはないけれど生臭い」ということは真実だ」ということは成り立つということはない ; $hypothesis$ = その首府はハイカーでない ; $proof$ = 
fact1 -> int1: 「その首府は直り切るということはないがそれは継続する」ということは間違っている; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 直り切るということはないけど継続するという物はない
事実2: もしもなにかはハイカーであるなら「それは着せがましかないしかつ遅蒔きだ」ということは嘘だ
事実3: 仮に「その首府は直り切らないがしかし継続する」ということは誤りだとすればハイカーである
事実4: もしもその首府が直り切るとしたらそれはハイカーである
事実5: 直り切るし継続するという物はない
事実6: 「「その判子代は継続するということはないけれど生臭い」ということは真実だ」ということは成り立つということはない

仮説: その首府はハイカーでない
1. 事実1から、推論1: "「その首府は直り切るということはないがそれは継続する」ということは間違っている"が導かれる
2. 推論1と事実3から、仮説が否定される

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