この続き部屋が便宜置籍船であるとしたらあの無声音は礼儀正しくないがしかし騙され易い
fact1: もし仮に「この続き部屋は豆絞りでなくて再生ボタンでない」ということは嘘であるとすると便宜置籍船でない fact2: あの無声音は騙され易い fact3: 仮に「この続き部屋は便宜置籍船だ」ということは事実だとしたらあの無声音は礼儀正しいししかもそれは騙され易い fact4: もしこの続き部屋は豆絞りであるとすれば「それは便宜置籍船でない」ということは真実だ fact5: 仮にその樫原父子は再生ボタンでないとすれば「この続き部屋は豆絞りであるけど再生ボタンでない」ということは誤りである fact6: もしもこの続き部屋が便宜置籍船ならあの無声音は騙され易い fact7: 「もし「「あの無声音は礼儀正しくておまけに騙され易い」ということは本当だ」ということは間違っているとするとその樫原父子は再生ボタンでない」ということは成り立つ fact8: もしも「あの無声音は礼儀正しいしそれは再生ボタンである」ということは成り立たないならその樫原父子は騙され易くない fact9: もしも「あの無声音は礼儀正しくないけれど騙され易い」ということは偽だとすればあの樫原父子は再生ボタンでない fact10: もしその樫原父子は再生ボタンでないとしたら「この続き部屋は豆絞りでないし再生ボタンでない」ということは偽である fact11: もし仮にこの続き部屋が豆絞りだとすればあの無声音は騙され易くないけれど再生ボタンである fact12: もしもあの無声音は再生ボタンでないならば「この続き部屋は礼儀正しくなくて更に再生ボタンでない」ということは成り立たない fact13: 「この続き部屋は豆絞りだが再生ボタンでない」ということは成り立たない fact14: この続き部屋は礼儀正しい fact15: あの無声音は豆絞りでないがしかし飲み難い fact16: もしもあの無声音が騙され易くないならその樫原父子は再生ボタンだということはない
void -> assump1: 以下のように仮定する。「あの無声音は礼儀正しくないが騙され易い」ということは嘘だ; fact9 & assump1 -> int1: その樫原父子は再生ボタンでない; int1 & fact10 -> int2: 「この続き部屋は豆絞りでないしかつそれは再生ボタンでない」ということは成り立たない; int2 & fact1 -> int3: この続き部屋は便宜置籍船でない; void -> assump2: 以下のように仮定する。この続き部屋は便宜置籍船である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの無声音は礼儀正しいということはない一方で騙され易い; [assump2] & int5 -> hypothesis;
$facts$ = fact1: もし仮に「この続き部屋は豆絞りでなくて再生ボタンでない」ということは嘘であるとすると便宜置籍船でない fact2: あの無声音は騙され易い fact3: 仮に「この続き部屋は便宜置籍船だ」ということは事実だとしたらあの無声音は礼儀正しいししかもそれは騙され易い fact4: もしこの続き部屋は豆絞りであるとすれば「それは便宜置籍船でない」ということは真実だ fact5: 仮にその樫原父子は再生ボタンでないとすれば「この続き部屋は豆絞りであるけど再生ボタンでない」ということは誤りである fact6: もしもこの続き部屋が便宜置籍船ならあの無声音は騙され易い fact7: 「もし「「あの無声音は礼儀正しくておまけに騙され易い」ということは本当だ」ということは間違っているとするとその樫原父子は再生ボタンでない」ということは成り立つ fact8: もしも「あの無声音は礼儀正しいしそれは再生ボタンである」ということは成り立たないならその樫原父子は騙され易くない fact9: もしも「あの無声音は礼儀正しくないけれど騙され易い」ということは偽だとすればあの樫原父子は再生ボタンでない fact10: もしその樫原父子は再生ボタンでないとしたら「この続き部屋は豆絞りでないし再生ボタンでない」ということは偽である fact11: もし仮にこの続き部屋が豆絞りだとすればあの無声音は騙され易くないけれど再生ボタンである fact12: もしもあの無声音は再生ボタンでないならば「この続き部屋は礼儀正しくなくて更に再生ボタンでない」ということは成り立たない fact13: 「この続き部屋は豆絞りだが再生ボタンでない」ということは成り立たない fact14: この続き部屋は礼儀正しい fact15: あの無声音は豆絞りでないがしかし飲み難い fact16: もしもあの無声音が騙され易くないならその樫原父子は再生ボタンだということはない ; $hypothesis$ = この続き部屋が便宜置籍船であるとしたらあの無声音は礼儀正しくないがしかし騙され易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの無声音は礼儀正しくないが騙され易い」ということは嘘だ; fact9 & assump1 -> int1: その樫原父子は再生ボタンでない; int1 & fact10 -> int2: 「この続き部屋は豆絞りでないしかつそれは再生ボタンでない」ということは成り立たない; int2 & fact1 -> int3: この続き部屋は便宜置籍船でない; void -> assump2: 以下のように仮定する。この続き部屋は便宜置籍船である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの無声音は礼儀正しいということはない一方で騙され易い; [assump2] & int5 -> hypothesis; __PROVED__
事実1: もし仮に「この続き部屋は豆絞りでなくて再生ボタンでない」ということは嘘であるとすると便宜置籍船でない
事実2: あの無声音は騙され易い
事実3: 仮に「この続き部屋は便宜置籍船だ」ということは事実だとしたらあの無声音は礼儀正しいししかもそれは騙され易い
事実4: もしこの続き部屋は豆絞りであるとすれば「それは便宜置籍船でない」ということは真実だ
事実5: 仮にその樫原父子は再生ボタンでないとすれば「この続き部屋は豆絞りであるけど再生ボタンでない」ということは誤りである
事実6: もしもこの続き部屋が便宜置籍船ならあの無声音は騙され易い
事実7: 「もし「「あの無声音は礼儀正しくておまけに騙され易い」ということは本当だ」ということは間違っているとするとその樫原父子は再生ボタンでない」ということは成り立つ
事実8: もしも「あの無声音は礼儀正しいしそれは再生ボタンである」ということは成り立たないならその樫原父子は騙され易くない
事実9: もしも「あの無声音は礼儀正しくないけれど騙され易い」ということは偽だとすればあの樫原父子は再生ボタンでない
事実10: もしその樫原父子は再生ボタンでないとしたら「この続き部屋は豆絞りでないし再生ボタンでない」ということは偽である
事実11: もし仮にこの続き部屋が豆絞りだとすればあの無声音は騙され易くないけれど再生ボタンである
事実12: もしもあの無声音は再生ボタンでないならば「この続き部屋は礼儀正しくなくて更に再生ボタンでない」ということは成り立たない
事実13: 「この続き部屋は豆絞りだが再生ボタンでない」ということは成り立たない
事実14: この続き部屋は礼儀正しい
事実15: あの無声音は豆絞りでないがしかし飲み難い
事実16: もしもあの無声音が騙され易くないならその樫原父子は再生ボタンだということはない

仮説: この続き部屋が便宜置籍船であるとしたらあの無声音は礼儀正しくないがしかし騙され易い
1. 仮定1: 以下のように仮定する。「あの無声音は礼儀正しくないが騙され易い」ということは嘘だ
2. 事実9と仮定1から、推論1: "その樫原父子は再生ボタンでない"が導かれる
3. 推論1と事実10から、推論2: "「この続き部屋は豆絞りでないしかつそれは再生ボタンでない」ということは成り立たない"が導かれる
4. 推論2と事実1から、推論3: "この続き部屋は便宜置籍船でない"が導かれる
5. 仮定2: 以下のように仮定する。この続き部屋は便宜置籍船である
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "あの無声音は礼儀正しいということはない一方で騙され易い"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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