「「「「キャンプサイトでないし入れ難くない」ということは本当だ」ということは成り立たない」ものはある」ということは偽でない
fact1: 仮になにかは染め抜かないけど即断するとしたらそれは選択され易い fact2: もしもなにがしかのものは選択され易いなら「キャンプサイトだけれど入れ難くない」ということは偽である fact3: もしも何かは選択され易いとしたら「キャンプサイトでないし入れ難くない」ということは成り立たない fact4: とあるものはキャンプサイトでなくて加えてそれは入れ難くない fact5: もしある物は選択され易いなら「キャンプサイトでないがしかし入れ難い」ということは成り立たない fact6: 「あの良港は染め抜かないしおまけに即断するということはない」ということは本当である fact7: もし仮にとあるものが染め抜かないし即断するということはないとすれば選択され易い fact8: 「「キャンプサイトだけれど入れ難くない」ということは嘘である」ものはある fact9: あの良港が染め抜くがしかしそれが即断しないとすれば選択され易い
fact7 -> int1: もしあの良港は染め抜かないし即断しないとしたらそれは選択され易い; int1 & fact6 -> int2: あの良港は選択され易い; fact3 -> int3: 「もしあの良港は選択され易いとしたら「あの良港はキャンプサイトでないし加えて入れ難くない」ということは誤っている」ということは成り立つ; int2 & int3 -> int4: 「あの良港はキャンプサイトでないし入れ難くない」ということは事実でない; int4 -> hypothesis;
$facts$ = fact1: 仮になにかは染め抜かないけど即断するとしたらそれは選択され易い fact2: もしもなにがしかのものは選択され易いなら「キャンプサイトだけれど入れ難くない」ということは偽である fact3: もしも何かは選択され易いとしたら「キャンプサイトでないし入れ難くない」ということは成り立たない fact4: とあるものはキャンプサイトでなくて加えてそれは入れ難くない fact5: もしある物は選択され易いなら「キャンプサイトでないがしかし入れ難い」ということは成り立たない fact6: 「あの良港は染め抜かないしおまけに即断するということはない」ということは本当である fact7: もし仮にとあるものが染め抜かないし即断するということはないとすれば選択され易い fact8: 「「キャンプサイトだけれど入れ難くない」ということは嘘である」ものはある fact9: あの良港が染め抜くがしかしそれが即断しないとすれば選択され易い ; $hypothesis$ = 「「「「キャンプサイトでないし入れ難くない」ということは本当だ」ということは成り立たない」ものはある」ということは偽でない ; $proof$ = 
fact7 -> int1: もしあの良港は染め抜かないし即断しないとしたらそれは選択され易い; int1 & fact6 -> int2: あの良港は選択され易い; fact3 -> int3: 「もしあの良港は選択され易いとしたら「あの良港はキャンプサイトでないし加えて入れ難くない」ということは誤っている」ということは成り立つ; int2 & int3 -> int4: 「あの良港はキャンプサイトでないし入れ難くない」ということは事実でない; int4 -> hypothesis; __PROVED__
事実1: 仮になにかは染め抜かないけど即断するとしたらそれは選択され易い
事実2: もしもなにがしかのものは選択され易いなら「キャンプサイトだけれど入れ難くない」ということは偽である
事実3: もしも何かは選択され易いとしたら「キャンプサイトでないし入れ難くない」ということは成り立たない
事実4: とあるものはキャンプサイトでなくて加えてそれは入れ難くない
事実5: もしある物は選択され易いなら「キャンプサイトでないがしかし入れ難い」ということは成り立たない
事実6: 「あの良港は染め抜かないしおまけに即断するということはない」ということは本当である
事実7: もし仮にとあるものが染め抜かないし即断するということはないとすれば選択され易い
事実8: 「「キャンプサイトだけれど入れ難くない」ということは嘘である」ものはある
事実9: あの良港が染め抜くがしかしそれが即断しないとすれば選択され易い

仮説: 「「「「キャンプサイトでないし入れ難くない」ということは本当だ」ということは成り立たない」ものはある」ということは偽でない
1. 事実7から、推論1: "もしあの良港は染め抜かないし即断しないとしたらそれは選択され易い"が導かれる
2. 推論1と事実6から、推論2: "あの良港は選択され易い"が導かれる
3. 事実3から、推論3: "「もしあの良港は選択され易いとしたら「あの良港はキャンプサイトでないし加えて入れ難くない」ということは誤っている」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "「あの良港はキャンプサイトでないし入れ難くない」ということは事実でない"が導かれる
5. 推論4から、仮説が導かれる

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