この月界は平野神社だ
fact1: もし仮に何らかの物が下屋敷でなくてしかも貸し為さらないとすればこの月界は平野神社である fact2: 仮にこの大連合が停車しないなら長ーいかまたは度し難い fact3: 度し難い物は御座る fact4: 「下屋敷だということはないが貸し為さる」ものはある fact5: 「貸し為さらない」ものはある fact6: 何らかのものは積極的使用であるなら剥離し難い fact7: もしもあの仕分け帳は御座らないとすると「御悪くてそれは平野神社だ」ということは成り立たない fact8: この大連合は貸し為さるかあるいは御座る fact9: 御悪い物は下屋敷である fact10: 「長ーい物は御座る」ということは成り立つ fact11: 何らかの物は下屋敷だ一方でそれは貸し為さるということはない fact12: あの仕分け帳は貸し為さらない fact13: もし仮にあの仕分け帳は御悪いとしたら「この大連合は御座らない」ということは正しい fact14: 「あの仕分け帳は下屋敷でないがしかし貸し為さる」ということは間違っている fact15: 「下屋敷であるということはない」物はある fact16: あの仕分け帳が貸し為さるならそれは御悪い fact17: この大連合は停車しない fact18: もしあの仕分け帳は長ーいとすると「この大連合は下屋敷でない」ということは確かだ fact19: あの探知は停車しない fact20: 「あの仕分け帳は下屋敷でなくて更に貸し為さらない」ということは事実でないならばそれは御悪い
void -> assump1: 以下のように仮定する。「あの仕分け帳は下屋敷であるということはなくて貸し為さらない」ということは嘘だ; fact20 & assump1 -> int1: あの仕分け帳は御悪い; int1 & fact13 -> int2: この大連合は御座らない; fact10 -> int3: もしこの大連合が長ーいなら御座る; fact3 -> int4: もしも「この大連合は度し難い」ということは事実だとしたら御座る; fact2 & fact17 -> int5: この大連合は長ーいかまたは度し難い; int3 & int4 & int5 -> int6: この大連合は御座る; int2 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの仕分け帳は下屋敷であるということはなくて更に貸し為さらない; int8 -> int9: 「下屋敷でないしかつ貸し為さらない」物はある; int9 & fact1 -> hypothesis;
この月界は平野神社でない
$facts$ = fact1: もし仮に何らかの物が下屋敷でなくてしかも貸し為さらないとすればこの月界は平野神社である fact2: 仮にこの大連合が停車しないなら長ーいかまたは度し難い fact3: 度し難い物は御座る fact4: 「下屋敷だということはないが貸し為さる」ものはある fact5: 「貸し為さらない」ものはある fact6: 何らかのものは積極的使用であるなら剥離し難い fact7: もしもあの仕分け帳は御座らないとすると「御悪くてそれは平野神社だ」ということは成り立たない fact8: この大連合は貸し為さるかあるいは御座る fact9: 御悪い物は下屋敷である fact10: 「長ーい物は御座る」ということは成り立つ fact11: 何らかの物は下屋敷だ一方でそれは貸し為さるということはない fact12: あの仕分け帳は貸し為さらない fact13: もし仮にあの仕分け帳は御悪いとしたら「この大連合は御座らない」ということは正しい fact14: 「あの仕分け帳は下屋敷でないがしかし貸し為さる」ということは間違っている fact15: 「下屋敷であるということはない」物はある fact16: あの仕分け帳が貸し為さるならそれは御悪い fact17: この大連合は停車しない fact18: もしあの仕分け帳は長ーいとすると「この大連合は下屋敷でない」ということは確かだ fact19: あの探知は停車しない fact20: 「あの仕分け帳は下屋敷でなくて更に貸し為さらない」ということは事実でないならばそれは御悪い ; $hypothesis$ = この月界は平野神社だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの仕分け帳は下屋敷であるということはなくて貸し為さらない」ということは嘘だ; fact20 & assump1 -> int1: あの仕分け帳は御悪い; int1 & fact13 -> int2: この大連合は御座らない; fact10 -> int3: もしこの大連合が長ーいなら御座る; fact3 -> int4: もしも「この大連合は度し難い」ということは事実だとしたら御座る; fact2 & fact17 -> int5: この大連合は長ーいかまたは度し難い; int3 & int4 & int5 -> int6: この大連合は御座る; int2 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの仕分け帳は下屋敷であるということはなくて更に貸し為さらない; int8 -> int9: 「下屋敷でないしかつ貸し為さらない」物はある; int9 & fact1 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物が下屋敷でなくてしかも貸し為さらないとすればこの月界は平野神社である
事実2: 仮にこの大連合が停車しないなら長ーいかまたは度し難い
事実3: 度し難い物は御座る
事実4: 「下屋敷だということはないが貸し為さる」ものはある
事実5: 「貸し為さらない」ものはある
事実6: 何らかのものは積極的使用であるなら剥離し難い
事実7: もしもあの仕分け帳は御座らないとすると「御悪くてそれは平野神社だ」ということは成り立たない
事実8: この大連合は貸し為さるかあるいは御座る
事実9: 御悪い物は下屋敷である
事実10: 「長ーい物は御座る」ということは成り立つ
事実11: 何らかの物は下屋敷だ一方でそれは貸し為さるということはない
事実12: あの仕分け帳は貸し為さらない
事実13: もし仮にあの仕分け帳は御悪いとしたら「この大連合は御座らない」ということは正しい
事実14: 「あの仕分け帳は下屋敷でないがしかし貸し為さる」ということは間違っている
事実15: 「下屋敷であるということはない」物はある
事実16: あの仕分け帳が貸し為さるならそれは御悪い
事実17: この大連合は停車しない
事実18: もしあの仕分け帳は長ーいとすると「この大連合は下屋敷でない」ということは確かだ
事実19: あの探知は停車しない
事実20: 「あの仕分け帳は下屋敷でなくて更に貸し為さらない」ということは事実でないならばそれは御悪い

仮説: この月界は平野神社だ
1. 仮定1: 以下のように仮定する。「あの仕分け帳は下屋敷であるということはなくて貸し為さらない」ということは嘘だ
2. 事実20と仮定1から、推論1: "あの仕分け帳は御悪い"が導かれる
3. 推論1と事実13から、推論2: "この大連合は御座らない"が導かれる
4. 事実10から、推論3: "もしこの大連合が長ーいなら御座る"が導かれる
5. 事実3から、推論4: "もしも「この大連合は度し難い」ということは事実だとしたら御座る"が導かれる
6. 事実2と事実17から、推論5: "この大連合は長ーいかまたは度し難い"が導かれる
7. 推論3と推論4と推論5から、推論6: "この大連合は御座る"が導かれる
8. 推論2と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの仕分け帳は下屋敷であるということはなくて更に貸し為さらない"が導かれる
10. 推論8から、推論9: "「下屋敷でないしかつ貸し為さらない」物はある"が導かれる
11. 推論9と事実1から、仮説が導かれる

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