「あの頂上は飲んだくれなくて馳せない」ということは誤っている
fact1: もしもあの老人等はストラットでないならば「この中山間地域は取り難くて珍しい」ということは嘘だ fact2: 「「更生担保権者だしかつ改易しない」ということは確かな」ものがあるとするとあの隠れチャネルは飲んだくれる fact3: 「あの隠れチャネルは馳せる」ということは成り立つとしたら「「あの頂上は馳せる一方で飲んだくれない」ということは正しい」ということは誤っている fact4: もし仮にあの隠れチャネルは飲んだくれるとすると「あの頂上は飲んだくれるということはない一方で馳せる」ということは嘘である fact5: 「珍しくてそれにストラットな」物があるとしたらあの隠れチャネルは飲んだくれる fact6: 「あの頂上は飲んだくれるけどそれは馳せるということはない」ということは成り立たない fact7: 「珍しいがストラットだということはない」ものはある fact8: もし仮に「珍しいしさらにストラットでない」ものがあるとするとあの隠れチャネルは飲んだくれる fact9: もし早いストラットがあるとするとあの頂上は投錨する fact10: なんらかのものは馳せるけどそれは飲んだくれない fact11: ある物は飲んだくれる一方で馳せない fact12: もしも「あの隠れチャネルは馳せる」ということは成り立つとすれば「あの頂上は馳せないしその上飲んだくれない」ということは間違いだ fact13: 「あの頂上は飲んだくれない一方で馳せる」ということは成り立たない fact14: もしもあの隠れチャネルは珍しかないならば「あの頂上は飲んだくれないしその上馳せない」ということは確かだ fact15: 仮にあの隠れチャネルは飲んだくれるなら「あの頂上は飲んだくれるということはなくてまたそれは馳せない」ということは誤りである
fact7 & fact8 -> int1: あの隠れチャネルは飲んだくれる; int1 & fact15 -> hypothesis;
あの頂上は飲んだくれなくておまけにそれは馳せない
$facts$ = fact1: もしもあの老人等はストラットでないならば「この中山間地域は取り難くて珍しい」ということは嘘だ fact2: 「「更生担保権者だしかつ改易しない」ということは確かな」ものがあるとするとあの隠れチャネルは飲んだくれる fact3: 「あの隠れチャネルは馳せる」ということは成り立つとしたら「「あの頂上は馳せる一方で飲んだくれない」ということは正しい」ということは誤っている fact4: もし仮にあの隠れチャネルは飲んだくれるとすると「あの頂上は飲んだくれるということはない一方で馳せる」ということは嘘である fact5: 「珍しくてそれにストラットな」物があるとしたらあの隠れチャネルは飲んだくれる fact6: 「あの頂上は飲んだくれるけどそれは馳せるということはない」ということは成り立たない fact7: 「珍しいがストラットだということはない」ものはある fact8: もし仮に「珍しいしさらにストラットでない」ものがあるとするとあの隠れチャネルは飲んだくれる fact9: もし早いストラットがあるとするとあの頂上は投錨する fact10: なんらかのものは馳せるけどそれは飲んだくれない fact11: ある物は飲んだくれる一方で馳せない fact12: もしも「あの隠れチャネルは馳せる」ということは成り立つとすれば「あの頂上は馳せないしその上飲んだくれない」ということは間違いだ fact13: 「あの頂上は飲んだくれない一方で馳せる」ということは成り立たない fact14: もしもあの隠れチャネルは珍しかないならば「あの頂上は飲んだくれないしその上馳せない」ということは確かだ fact15: 仮にあの隠れチャネルは飲んだくれるなら「あの頂上は飲んだくれるということはなくてまたそれは馳せない」ということは誤りである ; $hypothesis$ = 「あの頂上は飲んだくれなくて馳せない」ということは誤っている ; $proof$ = 
fact7 & fact8 -> int1: あの隠れチャネルは飲んだくれる; int1 & fact15 -> hypothesis; __PROVED__
事実1: もしもあの老人等はストラットでないならば「この中山間地域は取り難くて珍しい」ということは嘘だ
事実2: 「「更生担保権者だしかつ改易しない」ということは確かな」ものがあるとするとあの隠れチャネルは飲んだくれる
事実3: 「あの隠れチャネルは馳せる」ということは成り立つとしたら「「あの頂上は馳せる一方で飲んだくれない」ということは正しい」ということは誤っている
事実4: もし仮にあの隠れチャネルは飲んだくれるとすると「あの頂上は飲んだくれるということはない一方で馳せる」ということは嘘である
事実5: 「珍しくてそれにストラットな」物があるとしたらあの隠れチャネルは飲んだくれる
事実6: 「あの頂上は飲んだくれるけどそれは馳せるということはない」ということは成り立たない
事実7: 「珍しいがストラットだということはない」ものはある
事実8: もし仮に「珍しいしさらにストラットでない」ものがあるとするとあの隠れチャネルは飲んだくれる
事実9: もし早いストラットがあるとするとあの頂上は投錨する
事実10: なんらかのものは馳せるけどそれは飲んだくれない
事実11: ある物は飲んだくれる一方で馳せない
事実12: もしも「あの隠れチャネルは馳せる」ということは成り立つとすれば「あの頂上は馳せないしその上飲んだくれない」ということは間違いだ
事実13: 「あの頂上は飲んだくれない一方で馳せる」ということは成り立たない
事実14: もしもあの隠れチャネルは珍しかないならば「あの頂上は飲んだくれないしその上馳せない」ということは確かだ
事実15: 仮にあの隠れチャネルは飲んだくれるなら「あの頂上は飲んだくれるということはなくてまたそれは馳せない」ということは誤りである

仮説: 「あの頂上は飲んだくれなくて馳せない」ということは誤っている
1. 事実7と事実8から、推論1: "あの隠れチャネルは飲んだくれる"が導かれる
2. 推論1と事実15から、仮説が導かれる

よって、仮説が証明されました。