あの閉店は掻き易い
fact1: 「なにがしかの物は掻き易くてさらにそれは拍だ」ということは成り立たないならばそれは掻き易くない fact2: もし仮にあの閉店は飽きっぽいしおまけに思索家だとするとアンシャン・レジームでない fact3: あの閉店はアンシャン・レジームである fact4: なんらかの物は投稿しない fact5: 仮にとある物は儚しし早しとすればそれは王都でない fact6: このカップインは拍だということはない fact7: もし仮にあるものが拍でなくてそれが投稿するということはないとするとあの閉店は飽きっぽい fact8: 「拍だということはなくて加えて投稿しない」物はある fact9: もしもあの閉店は思索家でないとすると掻き易い
fact8 & fact7 -> int1: あの閉店は飽きっぽい; void -> assump1: 以下のように仮定する。あの閉店は思索家である; int1 & assump1 -> int2: あの閉店は飽きっぽくて思索家だ; int2 & fact2 -> int3: あの閉店はアンシャン・レジームでない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの閉店は思索家でない; int5 & fact9 -> hypothesis;
もしあの柔襞が儚しし加えてそれは早しならば「王都でない」ということは正しい
fact10 -> hypothesis;
$facts$ = fact1: 「なにがしかの物は掻き易くてさらにそれは拍だ」ということは成り立たないならばそれは掻き易くない fact2: もし仮にあの閉店は飽きっぽいしおまけに思索家だとするとアンシャン・レジームでない fact3: あの閉店はアンシャン・レジームである fact4: なんらかの物は投稿しない fact5: 仮にとある物は儚しし早しとすればそれは王都でない fact6: このカップインは拍だということはない fact7: もし仮にあるものが拍でなくてそれが投稿するということはないとするとあの閉店は飽きっぽい fact8: 「拍だということはなくて加えて投稿しない」物はある fact9: もしもあの閉店は思索家でないとすると掻き易い ; $hypothesis$ = あの閉店は掻き易い ; $proof$ = 
fact8 & fact7 -> int1: あの閉店は飽きっぽい; void -> assump1: 以下のように仮定する。あの閉店は思索家である; int1 & assump1 -> int2: あの閉店は飽きっぽくて思索家だ; int2 & fact2 -> int3: あの閉店はアンシャン・レジームでない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの閉店は思索家でない; int5 & fact9 -> hypothesis; __PROVED__
事実1: 「なにがしかの物は掻き易くてさらにそれは拍だ」ということは成り立たないならばそれは掻き易くない
事実2: もし仮にあの閉店は飽きっぽいしおまけに思索家だとするとアンシャン・レジームでない
事実3: あの閉店はアンシャン・レジームである
事実4: なんらかの物は投稿しない
事実5: 仮にとある物は儚しし早しとすればそれは王都でない
事実6: このカップインは拍だということはない
事実7: もし仮にあるものが拍でなくてそれが投稿するということはないとするとあの閉店は飽きっぽい
事実8: 「拍だということはなくて加えて投稿しない」物はある
事実9: もしもあの閉店は思索家でないとすると掻き易い

仮説: あの閉店は掻き易い
1. 事実8と事実7から、推論1: "あの閉店は飽きっぽい"が導かれる
2. 仮定1: 以下のように仮定する。あの閉店は思索家である
3. 推論1と仮定1から、推論2: "あの閉店は飽きっぽくて思索家だ"が導かれる
4. 推論2と事実2から、推論3: "あの閉店はアンシャン・レジームでない"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの閉店は思索家でない"が導かれる
7. 推論5と事実9から、仮説が導かれる

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