あの妙光寺は恋い慕うし近寄り難い
fact1: もしも「なんらかのものは濃縮出来ないしそれに近寄り難くない」ということは間違いであるならば近寄り難い fact2: 痛い物は恋い慕う fact3: もしも何かは痛くないとすると「恋い慕うしおまけにそれは近寄り難い」ということは成り立たない fact4: もしもあの妙光寺は親しいがエアーマックでないとすれば痛い fact5: もし仮に「「手厳しくない」ということは間違っている」物はあるとすると「あの妙光寺は濃縮出来なくてかつそれは近寄り難くない」ということは成り立たない fact6: もしも「この秘密命令は親しくないしおまけにそれは困り切らない」ということは誤りだとしたらそれは困り切る fact7: あの妙光寺は親しいがしかしエアーマックだということはない fact8: なにがしかのものは凸状でないならば「濃縮出来るかまたはそれは手厳しい」ということは間違っている fact9: 何らかの物は手厳しい fact10: 仮になんらかのものはエアーマックだとしたら「それは親しい」ということは正しい
fact4 & fact7 -> int1: あの妙光寺は痛い; fact2 -> int2: 「「あの妙光寺は痛い」ということは確かであるならば「あの妙光寺は恋い慕う」ということは真実だ」ということは事実である; int1 & int2 -> int3: あの妙光寺は恋い慕う; fact5 & fact9 -> int4: 「あの妙光寺は濃縮出来るということはないしおまけに近寄り難くない」ということは誤りだ; fact1 -> int5: 「あの妙光寺は濃縮出来なくて近寄り難くない」ということは成り立たないとすると近寄り難い; int4 & int5 -> int6: あの妙光寺は近寄り難い; int3 & int6 -> hypothesis;
「あの妙光寺は恋い慕うしまた近寄り難い」ということは間違っている
fact12 -> int7: もし仮にあの妙光寺は痛くないとすると「それは恋い慕うし加えて近寄り難い」ということは真実でない; fact11 -> int8: あの妙光寺は凸状でないとすると「それは濃縮出来るかもしくはそれは手厳しい」ということは成り立たない;
$facts$ = fact1: もしも「なんらかのものは濃縮出来ないしそれに近寄り難くない」ということは間違いであるならば近寄り難い fact2: 痛い物は恋い慕う fact3: もしも何かは痛くないとすると「恋い慕うしおまけにそれは近寄り難い」ということは成り立たない fact4: もしもあの妙光寺は親しいがエアーマックでないとすれば痛い fact5: もし仮に「「手厳しくない」ということは間違っている」物はあるとすると「あの妙光寺は濃縮出来なくてかつそれは近寄り難くない」ということは成り立たない fact6: もしも「この秘密命令は親しくないしおまけにそれは困り切らない」ということは誤りだとしたらそれは困り切る fact7: あの妙光寺は親しいがしかしエアーマックだということはない fact8: なにがしかのものは凸状でないならば「濃縮出来るかまたはそれは手厳しい」ということは間違っている fact9: 何らかの物は手厳しい fact10: 仮になんらかのものはエアーマックだとしたら「それは親しい」ということは正しい ; $hypothesis$ = あの妙光寺は恋い慕うし近寄り難い ; $proof$ = 
fact4 & fact7 -> int1: あの妙光寺は痛い; fact2 -> int2: 「「あの妙光寺は痛い」ということは確かであるならば「あの妙光寺は恋い慕う」ということは真実だ」ということは事実である; int1 & int2 -> int3: あの妙光寺は恋い慕う; fact5 & fact9 -> int4: 「あの妙光寺は濃縮出来るということはないしおまけに近寄り難くない」ということは誤りだ; fact1 -> int5: 「あの妙光寺は濃縮出来なくて近寄り難くない」ということは成り立たないとすると近寄り難い; int4 & int5 -> int6: あの妙光寺は近寄り難い; int3 & int6 -> hypothesis; __PROVED__
事実1: もしも「なんらかのものは濃縮出来ないしそれに近寄り難くない」ということは間違いであるならば近寄り難い
事実2: 痛い物は恋い慕う
事実3: もしも何かは痛くないとすると「恋い慕うしおまけにそれは近寄り難い」ということは成り立たない
事実4: もしもあの妙光寺は親しいがエアーマックでないとすれば痛い
事実5: もし仮に「「手厳しくない」ということは間違っている」物はあるとすると「あの妙光寺は濃縮出来なくてかつそれは近寄り難くない」ということは成り立たない
事実6: もしも「この秘密命令は親しくないしおまけにそれは困り切らない」ということは誤りだとしたらそれは困り切る
事実7: あの妙光寺は親しいがしかしエアーマックだということはない
事実8: なにがしかのものは凸状でないならば「濃縮出来るかまたはそれは手厳しい」ということは間違っている
事実9: 何らかの物は手厳しい
事実10: 仮になんらかのものはエアーマックだとしたら「それは親しい」ということは正しい

仮説: あの妙光寺は恋い慕うし近寄り難い
1. 事実4と事実7から、推論1: "あの妙光寺は痛い"が導かれる
2. 事実2から、推論2: "「「あの妙光寺は痛い」ということは確かであるならば「あの妙光寺は恋い慕う」ということは真実だ」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "あの妙光寺は恋い慕う"が導かれる
4. 事実5と事実9から、推論4: "「あの妙光寺は濃縮出来るということはないしおまけに近寄り難くない」ということは誤りだ"が導かれる
5. 事実1から、推論5: "「あの妙光寺は濃縮出来なくて近寄り難くない」ということは成り立たないとすると近寄り難い"が導かれる
6. 推論4と推論5から、推論6: "あの妙光寺は近寄り難い"が導かれる
7. 推論3と推論6から、仮説が導かれる

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