あの正常範囲は御返り下さる
fact1: このＰＭＰはノンちゃんでない fact2: もし「あの正常範囲は慌ただしい一方でノンちゃんでない」ということは成り立たないとするとこの遍路は御返り下さるということはない fact3: 「この遍路は差し出がましいけどそれはアクセスし易くない」ということは成り立たない fact4: 仮にこの遍路はノンちゃんでないならば「あの正常範囲は御返り下さるということはない」ということは本当だ fact5: この遍路は慌ただしい fact6: この二十五ＭＬは御返り下さらない fact7: もし仮になんらかのものは慌ただしいなら「それはノンちゃんであるがアクセスし易いということはない」ということは誤りである fact8: あの正常範囲は聞こゆない fact9: 仮にこの給付が姉らしくないけど五十人だとすればそのカウンタは五十人でない fact10: この遍路はサファビー朝期だということはない fact11: 仮に「この遍路はノンちゃんである一方でアクセスし易くない」ということは成り立たないとするとあの正常範囲は御返り下さらない fact12: もし仮になにがしかの物はアクセスし易いとすれば「慌ただしいし加えてそれは御返り下さらない」ということは間違っている fact13: あの正常範囲はノンちゃんでない fact14: 「この遍路は御返り下さるけれどそれはノンちゃんだということはない」ということは嘘である fact15: あの正常範囲はアクセスし易くない
fact7 -> int1: この遍路は慌ただしいならば「ノンちゃんであるけどアクセスし易くない」ということは成り立たない; int1 & fact5 -> int2: 「この遍路はノンちゃんであるがアクセスし易くない」ということは事実と異なる; int2 & fact11 -> hypothesis;
fact7 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact5 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact11 -> hypothesis;
あの正常範囲は御返り下さる
$facts$ = fact1: このＰＭＰはノンちゃんでない fact2: もし「あの正常範囲は慌ただしい一方でノンちゃんでない」ということは成り立たないとするとこの遍路は御返り下さるということはない fact3: 「この遍路は差し出がましいけどそれはアクセスし易くない」ということは成り立たない fact4: 仮にこの遍路はノンちゃんでないならば「あの正常範囲は御返り下さるということはない」ということは本当だ fact5: この遍路は慌ただしい fact6: この二十五ＭＬは御返り下さらない fact7: もし仮になんらかのものは慌ただしいなら「それはノンちゃんであるがアクセスし易いということはない」ということは誤りである fact8: あの正常範囲は聞こゆない fact9: 仮にこの給付が姉らしくないけど五十人だとすればそのカウンタは五十人でない fact10: この遍路はサファビー朝期だということはない fact11: 仮に「この遍路はノンちゃんである一方でアクセスし易くない」ということは成り立たないとするとあの正常範囲は御返り下さらない fact12: もし仮になにがしかの物はアクセスし易いとすれば「慌ただしいし加えてそれは御返り下さらない」ということは間違っている fact13: あの正常範囲はノンちゃんでない fact14: 「この遍路は御返り下さるけれどそれはノンちゃんだということはない」ということは嘘である fact15: あの正常範囲はアクセスし易くない ; $hypothesis$ = あの正常範囲は御返り下さる ; $proof$ = 
fact7 -> int1: この遍路は慌ただしいならば「ノンちゃんであるけどアクセスし易くない」ということは成り立たない; int1 & fact5 -> int2: 「この遍路はノンちゃんであるがアクセスし易くない」ということは事実と異なる; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: このＰＭＰはノンちゃんでない
事実2: もし「あの正常範囲は慌ただしい一方でノンちゃんでない」ということは成り立たないとするとこの遍路は御返り下さるということはない
事実3: 「この遍路は差し出がましいけどそれはアクセスし易くない」ということは成り立たない
事実4: 仮にこの遍路はノンちゃんでないならば「あの正常範囲は御返り下さるということはない」ということは本当だ
事実5: この遍路は慌ただしい
事実6: この二十五ＭＬは御返り下さらない
事実7: もし仮になんらかのものは慌ただしいなら「それはノンちゃんであるがアクセスし易いということはない」ということは誤りである
事実8: あの正常範囲は聞こゆない
事実9: 仮にこの給付が姉らしくないけど五十人だとすればそのカウンタは五十人でない
事実10: この遍路はサファビー朝期だということはない
事実11: 仮に「この遍路はノンちゃんである一方でアクセスし易くない」ということは成り立たないとするとあの正常範囲は御返り下さらない
事実12: もし仮になにがしかの物はアクセスし易いとすれば「慌ただしいし加えてそれは御返り下さらない」ということは間違っている
事実13: あの正常範囲はノンちゃんでない
事実14: 「この遍路は御返り下さるけれどそれはノンちゃんだということはない」ということは嘘である
事実15: あの正常範囲はアクセスし易くない

仮説: あの正常範囲は御返り下さる
1. 事実7から、推論1: "この遍路は慌ただしいならば「ノンちゃんであるけどアクセスし易くない」ということは成り立たない"が導かれる
2. 推論1と事実5から、推論2: "「この遍路はノンちゃんであるがアクセスし易くない」ということは事実と異なる"が導かれる
3. 推論2と事実11から、仮説が否定される

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