「その女は押さえる」ということは確かである
fact1: もしその女がせせこましいならばこの御洒落は都会でなくてそれは伝え易くない fact2: その女は都会だ fact3: もしもその女が立て回さないならそれは都会でない fact4: 「この賞味期限は伝え易くておまけにそれは押さえる」ということは偽だとしたらその女は押さえない fact5: その女は拝礼しない fact6: 「その女は立て回す一方でそれは遣り易くない」ということは成り立たないとすると都会でない fact7: 「もしその女は押さえるということはないとすれば「その女は立て回す一方で遣り易くない」ということは間違っている」ということは成り立つ fact8: 「この遠目は遣り易くない」ということは真実である fact9: 仮に「とある物は痩せ難いということはなくてかつ除外しない」ということは事実と異なるとすればせせこましい fact10: なにがしかの物は拝礼しないとしたら「痩せ難くないしさらに除外しない」ということは成り立たない
void -> assump1: 以下のように仮定する。その女は押さえない; fact7 & assump1 -> int1: 「その女は立て回すが遣り易くない」ということは間違いである; int1 & fact6 -> int2: その女は都会でない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この御洒落は遣り易い
fact14 -> int4: 「その女は痩せ難くないししかも除外しない」ということは誤りであるとすれば「それはせせこましくない」ということは偽である; fact13 -> int5: その女は拝礼しないならば「それは痩せ難くないしそれは除外しない」ということは本当でない; int5 & fact11 -> int6: 「その女は痩せ難くなくて加えて除外するということはない」ということは事実と異なる; int4 & int6 -> int7: その女はせせこましい; fact12 & int7 -> int8: この御洒落は都会でなくてかつ伝え易くない; int8 -> int9: この御洒落は都会でない;
$facts$ = fact1: もしその女がせせこましいならばこの御洒落は都会でなくてそれは伝え易くない fact2: その女は都会だ fact3: もしもその女が立て回さないならそれは都会でない fact4: 「この賞味期限は伝え易くておまけにそれは押さえる」ということは偽だとしたらその女は押さえない fact5: その女は拝礼しない fact6: 「その女は立て回す一方でそれは遣り易くない」ということは成り立たないとすると都会でない fact7: 「もしその女は押さえるということはないとすれば「その女は立て回す一方で遣り易くない」ということは間違っている」ということは成り立つ fact8: 「この遠目は遣り易くない」ということは真実である fact9: 仮に「とある物は痩せ難いということはなくてかつ除外しない」ということは事実と異なるとすればせせこましい fact10: なにがしかの物は拝礼しないとしたら「痩せ難くないしさらに除外しない」ということは成り立たない ; $hypothesis$ = 「その女は押さえる」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。その女は押さえない; fact7 & assump1 -> int1: 「その女は立て回すが遣り易くない」ということは間違いである; int1 & fact6 -> int2: その女は都会でない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしその女がせせこましいならばこの御洒落は都会でなくてそれは伝え易くない
事実2: その女は都会だ
事実3: もしもその女が立て回さないならそれは都会でない
事実4: 「この賞味期限は伝え易くておまけにそれは押さえる」ということは偽だとしたらその女は押さえない
事実5: その女は拝礼しない
事実6: 「その女は立て回す一方でそれは遣り易くない」ということは成り立たないとすると都会でない
事実7: 「もしその女は押さえるということはないとすれば「その女は立て回す一方で遣り易くない」ということは間違っている」ということは成り立つ
事実8: 「この遠目は遣り易くない」ということは真実である
事実9: 仮に「とある物は痩せ難いということはなくてかつ除外しない」ということは事実と異なるとすればせせこましい
事実10: なにがしかの物は拝礼しないとしたら「痩せ難くないしさらに除外しない」ということは成り立たない

仮説: 「その女は押さえる」ということは確かである
1. 仮定1: 以下のように仮定する。その女は押さえない
2. 事実7と仮定1から、推論1: "「その女は立て回すが遣り易くない」ということは間違いである"が導かれる
3. 推論1と事実6から、推論2: "その女は都会でない"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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