この東宮御所は下見しないけれど百万円以上だ
fact1: 「あの航空管制は同梱しない」ということは真実だ fact2: この競技会は確からしくない一方で組める fact3: 集まり易くない物が組めるならそれは除かない fact4: この競技会は聖歌隊である fact5: もしこの贄が生み出し続けるしさらにそれが懐こいならそれは聖歌隊であるということはない fact6: もし仮に「同梱しない」ものはあるとすると「この競技会は受け取れないけれど集まり易い」ということは事実と異なる fact7: 「この競技会は厳めしい」ということは誤りでない fact8: 「あの審査員達は同梱しない」ということは真実だ fact9: もし厳めしい物が聖歌隊ならばそれは受け取れない fact10: もしこの競技会が除かないとすればこの東宮御所は下見しない一方で百万円以上である
fact7 & fact4 -> int1: この競技会は厳めしいし聖歌隊だ; fact9 -> int2: 仮にこの競技会が厳めしいしそれは聖歌隊であるならば「受け取れない」ということは正しい; int1 & int2 -> int3: この競技会は受け取れない; void -> assump1: 以下のように仮定する。この競技会は集まり易い; int3 & assump1 -> int4: この競技会は受け取れないけれど集まり易い; fact1 -> int5: なにがしかの物は同梱しない; fact6 & int5 -> int6: 「この競技会は受け取れない一方で集まり易い」ということは事実と異なる; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この競技会は集まり易くない; fact2 -> int9: この競技会は組める; int8 & int9 -> int10: この競技会は集まり易くないが組める; fact3 -> int11: もしこの競技会は集まり易くないけど組めれば除かない; int10 & int11 -> int12: この競技会は除かない; int12 & fact10 -> hypothesis;
$facts$ = fact1: 「あの航空管制は同梱しない」ということは真実だ fact2: この競技会は確からしくない一方で組める fact3: 集まり易くない物が組めるならそれは除かない fact4: この競技会は聖歌隊である fact5: もしこの贄が生み出し続けるしさらにそれが懐こいならそれは聖歌隊であるということはない fact6: もし仮に「同梱しない」ものはあるとすると「この競技会は受け取れないけれど集まり易い」ということは事実と異なる fact7: 「この競技会は厳めしい」ということは誤りでない fact8: 「あの審査員達は同梱しない」ということは真実だ fact9: もし厳めしい物が聖歌隊ならばそれは受け取れない fact10: もしこの競技会が除かないとすればこの東宮御所は下見しない一方で百万円以上である ; $hypothesis$ = この東宮御所は下見しないけれど百万円以上だ ; $proof$ = 
fact7 & fact4 -> int1: この競技会は厳めしいし聖歌隊だ; fact9 -> int2: 仮にこの競技会が厳めしいしそれは聖歌隊であるならば「受け取れない」ということは正しい; int1 & int2 -> int3: この競技会は受け取れない; void -> assump1: 以下のように仮定する。この競技会は集まり易い; int3 & assump1 -> int4: この競技会は受け取れないけれど集まり易い; fact1 -> int5: なにがしかの物は同梱しない; fact6 & int5 -> int6: 「この競技会は受け取れない一方で集まり易い」ということは事実と異なる; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この競技会は集まり易くない; fact2 -> int9: この競技会は組める; int8 & int9 -> int10: この競技会は集まり易くないが組める; fact3 -> int11: もしこの競技会は集まり易くないけど組めれば除かない; int10 & int11 -> int12: この競技会は除かない; int12 & fact10 -> hypothesis; __PROVED__
事実1: 「あの航空管制は同梱しない」ということは真実だ
事実2: この競技会は確からしくない一方で組める
事実3: 集まり易くない物が組めるならそれは除かない
事実4: この競技会は聖歌隊である
事実5: もしこの贄が生み出し続けるしさらにそれが懐こいならそれは聖歌隊であるということはない
事実6: もし仮に「同梱しない」ものはあるとすると「この競技会は受け取れないけれど集まり易い」ということは事実と異なる
事実7: 「この競技会は厳めしい」ということは誤りでない
事実8: 「あの審査員達は同梱しない」ということは真実だ
事実9: もし厳めしい物が聖歌隊ならばそれは受け取れない
事実10: もしこの競技会が除かないとすればこの東宮御所は下見しない一方で百万円以上である

仮説: この東宮御所は下見しないけれど百万円以上だ
1. 事実7と事実4から、推論1: "この競技会は厳めしいし聖歌隊だ"が導かれる
2. 事実9から、推論2: "仮にこの競技会が厳めしいしそれは聖歌隊であるならば「受け取れない」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "この競技会は受け取れない"が導かれる
4. 仮定1: 以下のように仮定する。この競技会は集まり易い
5. 推論3と仮定1から、推論4: "この競技会は受け取れないけれど集まり易い"が導かれる
6. 事実1から、推論5: "なにがしかの物は同梱しない"が導かれる
7. 事実6と推論5から、推論6: "「この競技会は受け取れない一方で集まり易い」ということは事実と異なる"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この競技会は集まり易くない"が導かれる
10. 事実2から、推論9: "この競技会は組める"が導かれる
11. 推論8と推論9から、推論10: "この競技会は集まり易くないが組める"が導かれる
12. 事実3から、推論11: "もしこの競技会は集まり易くないけど組めれば除かない"が導かれる
13. 推論10と推論11から、推論12: "この競技会は除かない"が導かれる
14. 推論12と事実10から、仮説が導かれる

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