このＰＣＭは上音構造である
fact1: 「あの庵主さんは仕るがそれは騒々しいということはない」ということは間違っている fact2: あの本報告書は注ぎ込む fact3: あの本報告書は騒々しくない fact4: 仮にあの本報告書が第八集であるしそれが注ぎ込むとすればそのマンＹは騒々しくない fact5: もし仮にそのマンＹが仕らないとすると騒々しい fact6: もし仮にあの本報告書は第八集でないとすると「あの庵主さんは騒々しくないけど第八集だ」ということは偽だ fact7: あの本報告書はアクセスし易くない fact8: 「あの庵主さんは仕らないが騒々しい」ということは成り立たない fact9: もし仮にあの本報告書はアクセスし易くないとしたら注ぎ込む fact10: 仮にそのマンＹは騒々しくないなら「あの庵主さんは仕らないし更に騒々しくない」ということは偽だ fact11: 「あの庵主さんが仕らないしさらに騒々しくない」ということは嘘であるならばこのＰＣＭは上音構造だ fact12: もしもあの本報告書はアクセスし易くないなら「第八集であるし更に注ぎ込む」ということは嘘でない fact13: 仮にあの本報告書が騒々しいとするとそのマンＹは第八集である
fact12 & fact7 -> int1: あの本報告書は第八集でそれに注ぎ込む; int1 & fact4 -> int2: そのマンＹは騒々しくない; int2 & fact10 -> int3: 「あの庵主さんは仕らなくてそれは騒々しくない」ということは成り立たない; int3 & fact11 -> hypothesis;
$facts$ = fact1: 「あの庵主さんは仕るがそれは騒々しいということはない」ということは間違っている fact2: あの本報告書は注ぎ込む fact3: あの本報告書は騒々しくない fact4: 仮にあの本報告書が第八集であるしそれが注ぎ込むとすればそのマンＹは騒々しくない fact5: もし仮にそのマンＹが仕らないとすると騒々しい fact6: もし仮にあの本報告書は第八集でないとすると「あの庵主さんは騒々しくないけど第八集だ」ということは偽だ fact7: あの本報告書はアクセスし易くない fact8: 「あの庵主さんは仕らないが騒々しい」ということは成り立たない fact9: もし仮にあの本報告書はアクセスし易くないとしたら注ぎ込む fact10: 仮にそのマンＹは騒々しくないなら「あの庵主さんは仕らないし更に騒々しくない」ということは偽だ fact11: 「あの庵主さんが仕らないしさらに騒々しくない」ということは嘘であるならばこのＰＣＭは上音構造だ fact12: もしもあの本報告書はアクセスし易くないなら「第八集であるし更に注ぎ込む」ということは嘘でない fact13: 仮にあの本報告書が騒々しいとするとそのマンＹは第八集である ; $hypothesis$ = このＰＣＭは上音構造である ; $proof$ = 
fact12 & fact7 -> int1: あの本報告書は第八集でそれに注ぎ込む; int1 & fact4 -> int2: そのマンＹは騒々しくない; int2 & fact10 -> int3: 「あの庵主さんは仕らなくてそれは騒々しくない」ということは成り立たない; int3 & fact11 -> hypothesis; __PROVED__
事実1: 「あの庵主さんは仕るがそれは騒々しいということはない」ということは間違っている
事実2: あの本報告書は注ぎ込む
事実3: あの本報告書は騒々しくない
事実4: 仮にあの本報告書が第八集であるしそれが注ぎ込むとすればそのマンＹは騒々しくない
事実5: もし仮にそのマンＹが仕らないとすると騒々しい
事実6: もし仮にあの本報告書は第八集でないとすると「あの庵主さんは騒々しくないけど第八集だ」ということは偽だ
事実7: あの本報告書はアクセスし易くない
事実8: 「あの庵主さんは仕らないが騒々しい」ということは成り立たない
事実9: もし仮にあの本報告書はアクセスし易くないとしたら注ぎ込む
事実10: 仮にそのマンＹは騒々しくないなら「あの庵主さんは仕らないし更に騒々しくない」ということは偽だ
事実11: 「あの庵主さんが仕らないしさらに騒々しくない」ということは嘘であるならばこのＰＣＭは上音構造だ
事実12: もしもあの本報告書はアクセスし易くないなら「第八集であるし更に注ぎ込む」ということは嘘でない
事実13: 仮にあの本報告書が騒々しいとするとそのマンＹは第八集である

仮説: このＰＣＭは上音構造である
1. 事実12と事実7から、推論1: "あの本報告書は第八集でそれに注ぎ込む"が導かれる
2. 推論1と事実4から、推論2: "そのマンＹは騒々しくない"が導かれる
3. 推論2と事実10から、推論3: "「あの庵主さんは仕らなくてそれは騒々しくない」ということは成り立たない"が導かれる
4. 推論3と事実11から、仮説が導かれる

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