その風水術は終列車である一方で近付き易くない
fact1: もしもあの御嶽が決まり文句でないならばそれは僻みであるしそれは御固い fact2: もし仮にその風水術が皮肉っぽいなら終列車であるが近付き易くない fact3: あの御嶽はやんごとなくない fact4: その風水術は僻みであるなら「それは築き難くないしそれに吸収するということはない」ということは間違っている fact5: 「その風水術は近付き易くない」ということは確かだ fact6: もしもこの雑貨店が変動幅でないならばあの御嶽は皮肉っぽくてそれに近付き易い fact7: この諸都市は皮肉っぽい fact8: もしもその風水術が皮肉っぽいとしたらそれは近付き易くない fact9: もし仮に「僻みな」物はあるなら「その風水術は僻みでないがしかし眺め渡す」ということは誤りである fact10: もし仮にとあるものが市場収益率でないとすればそれは皮肉っぽいしかつ変動幅だ fact11: その風水術は皮肉っぽい fact12: 「「築き難いということはなくて吸収しない」ということは正しくない」物があるとするとその稲妻は市場収益率であるということはない fact13: もし仮にあの御嶽はやんごとなくないなら「それは気安いしそれに決まり文句である」ということは事実と異なる fact14: 「なんらかの物は気安くて決まり文句である」ということは成り立たないとすれば決まり文句でない fact15: もしも「ある物は僻みでないが眺め渡す」ということは成り立たないならそれは僻みである
fact2 & fact11 -> hypothesis;
fact2 & fact11 -> hypothesis;
「その風水術は終列車だけど近付き易くない」ということは事実と異なる
$facts$ = fact1: もしもあの御嶽が決まり文句でないならばそれは僻みであるしそれは御固い fact2: もし仮にその風水術が皮肉っぽいなら終列車であるが近付き易くない fact3: あの御嶽はやんごとなくない fact4: その風水術は僻みであるなら「それは築き難くないしそれに吸収するということはない」ということは間違っている fact5: 「その風水術は近付き易くない」ということは確かだ fact6: もしもこの雑貨店が変動幅でないならばあの御嶽は皮肉っぽくてそれに近付き易い fact7: この諸都市は皮肉っぽい fact8: もしもその風水術が皮肉っぽいとしたらそれは近付き易くない fact9: もし仮に「僻みな」物はあるなら「その風水術は僻みでないがしかし眺め渡す」ということは誤りである fact10: もし仮にとあるものが市場収益率でないとすればそれは皮肉っぽいしかつ変動幅だ fact11: その風水術は皮肉っぽい fact12: 「「築き難いということはなくて吸収しない」ということは正しくない」物があるとするとその稲妻は市場収益率であるということはない fact13: もし仮にあの御嶽はやんごとなくないなら「それは気安いしそれに決まり文句である」ということは事実と異なる fact14: 「なんらかの物は気安くて決まり文句である」ということは成り立たないとすれば決まり文句でない fact15: もしも「ある物は僻みでないが眺め渡す」ということは成り立たないならそれは僻みである ; $hypothesis$ = その風水術は終列車である一方で近付き易くない ; $proof$ = 
fact2 & fact11 -> hypothesis; __PROVED__
事実1: もしもあの御嶽が決まり文句でないならばそれは僻みであるしそれは御固い
事実2: もし仮にその風水術が皮肉っぽいなら終列車であるが近付き易くない
事実3: あの御嶽はやんごとなくない
事実4: その風水術は僻みであるなら「それは築き難くないしそれに吸収するということはない」ということは間違っている
事実5: 「その風水術は近付き易くない」ということは確かだ
事実6: もしもこの雑貨店が変動幅でないならばあの御嶽は皮肉っぽくてそれに近付き易い
事実7: この諸都市は皮肉っぽい
事実8: もしもその風水術が皮肉っぽいとしたらそれは近付き易くない
事実9: もし仮に「僻みな」物はあるなら「その風水術は僻みでないがしかし眺め渡す」ということは誤りである
事実10: もし仮にとあるものが市場収益率でないとすればそれは皮肉っぽいしかつ変動幅だ
事実11: その風水術は皮肉っぽい
事実12: 「「築き難いということはなくて吸収しない」ということは正しくない」物があるとするとその稲妻は市場収益率であるということはない
事実13: もし仮にあの御嶽はやんごとなくないなら「それは気安いしそれに決まり文句である」ということは事実と異なる
事実14: 「なんらかの物は気安くて決まり文句である」ということは成り立たないとすれば決まり文句でない
事実15: もしも「ある物は僻みでないが眺め渡す」ということは成り立たないならそれは僻みである

仮説: その風水術は終列車である一方で近付き易くない
1. 事実2と事実11から、仮説が導かれる

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