この例祭は吹き易いかもしくは理解し難いか両方である
fact1: この金魚掬いは様良し一方で理解し難くない fact2: この流氷は吹き易くない fact3: もし仮になにかは文書群でないならば「吹き易いかもしくはそれは理解し難いか両方だ」ということは嘘である fact4: 「この例祭は廃棄処分しないしまた割り入れない」ということは嘘だ fact5: それは様良ししかつ聞こえ難いというものはない fact6: もしも「「吹き易い」ということは成り立つ」ものがあるとしたらこの金魚掬いは廃棄処分するしそれは様良し fact7: 「この例祭は限り無しないがしかし見苦しい」ということは偽だ fact8: この金魚掬いは文書群だ fact9: この例祭は見苦しくない fact10: もし仮に何かは見苦しいとするとそれは文書群だ fact11: もしとある物は廃棄処分すれば「それは文書群でないしその上物々しいということはない」ということは間違いである fact12: もし仮に「とあるものは限り無しないしその上見苦しくない」ということは誤りであるとすればそれは文書群である fact13: もし「「見苦しいしその上理解し難い」ということは誤っている」ものはあるなら「この例祭は見苦しくない」ということは確かだ fact14: 仮にこの例祭が廃棄処分するけれど様良くないなら理解し難い fact15: もしも「「様良くない」ということは間違っていない」物があるならこの例祭は様良くない fact16: もし仮にこの例祭は限り無しないし更に見苦しくないとしたら物々しい fact17: 「文書群は廃棄処分する」ということは事実だ fact18: 仮に「「様良くて聞こえ難い」ということは誤りな」物があるならこの例祭は様良くない fact19: もしもこの例祭が見苦しいとしたらそれは文書群だ fact20: この例祭は出来易くないしおまけに富貴でない fact21: 様良ししその上吹き易いというものはない fact22: この例祭が限り無しないけれどそれは見苦しいなら「物々しい」ということは事実だ fact23: この例祭は物々しかない
void -> assump1: 以下のように仮定する。この例祭は限り無しないしそれは見苦しくない; fact16 & assump1 -> int1: この例祭は物々しい; int1 & fact23 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この例祭は限り無しないししかも見苦しくない」ということは偽だ; fact12 -> int4: もし仮に「この例祭は限り無しないしそれに見苦しくない」ということは間違いであるとするとそれは文書群だ; int3 & int4 -> int5: この例祭は文書群だ; fact17 -> int6: もしこの例祭が文書群ならば廃棄処分する; int5 & int6 -> int7: この例祭は廃棄処分する; fact5 -> int8: 「この金魚掬いは様良しし聞こえ難い」ということは成り立たない; int8 -> int9: 「「様良ししおまけに聞こえ難い」ということは本当でない」物はある; fact18 & int9 -> int10: この例祭は様良くない; int7 & int10 -> int11: 「この例祭は廃棄処分する一方でそれは様良くない」ということは事実である; int11 & fact14 -> int12: この例祭は理解し難い; int12 -> hypothesis;
「この例祭は吹き易いかまたはそれは理解し難いか両方ともである」ということは成り立たない
fact24 -> int13: もし仮にこの例祭は文書群でないならば「吹き易いかもしくはそれは理解し難いかまたは両方だ」ということは間違っている;
$facts$ = fact1: この金魚掬いは様良し一方で理解し難くない fact2: この流氷は吹き易くない fact3: もし仮になにかは文書群でないならば「吹き易いかもしくはそれは理解し難いか両方だ」ということは嘘である fact4: 「この例祭は廃棄処分しないしまた割り入れない」ということは嘘だ fact5: それは様良ししかつ聞こえ難いというものはない fact6: もしも「「吹き易い」ということは成り立つ」ものがあるとしたらこの金魚掬いは廃棄処分するしそれは様良し fact7: 「この例祭は限り無しないがしかし見苦しい」ということは偽だ fact8: この金魚掬いは文書群だ fact9: この例祭は見苦しくない fact10: もし仮に何かは見苦しいとするとそれは文書群だ fact11: もしとある物は廃棄処分すれば「それは文書群でないしその上物々しいということはない」ということは間違いである fact12: もし仮に「とあるものは限り無しないしその上見苦しくない」ということは誤りであるとすればそれは文書群である fact13: もし「「見苦しいしその上理解し難い」ということは誤っている」ものはあるなら「この例祭は見苦しくない」ということは確かだ fact14: 仮にこの例祭が廃棄処分するけれど様良くないなら理解し難い fact15: もしも「「様良くない」ということは間違っていない」物があるならこの例祭は様良くない fact16: もし仮にこの例祭は限り無しないし更に見苦しくないとしたら物々しい fact17: 「文書群は廃棄処分する」ということは事実だ fact18: 仮に「「様良くて聞こえ難い」ということは誤りな」物があるならこの例祭は様良くない fact19: もしもこの例祭が見苦しいとしたらそれは文書群だ fact20: この例祭は出来易くないしおまけに富貴でない fact21: 様良ししその上吹き易いというものはない fact22: この例祭が限り無しないけれどそれは見苦しいなら「物々しい」ということは事実だ fact23: この例祭は物々しかない ; $hypothesis$ = この例祭は吹き易いかもしくは理解し難いか両方である ; $proof$ = 
void -> assump1: 以下のように仮定する。この例祭は限り無しないしそれは見苦しくない; fact16 & assump1 -> int1: この例祭は物々しい; int1 & fact23 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この例祭は限り無しないししかも見苦しくない」ということは偽だ; fact12 -> int4: もし仮に「この例祭は限り無しないしそれに見苦しくない」ということは間違いであるとするとそれは文書群だ; int3 & int4 -> int5: この例祭は文書群だ; fact17 -> int6: もしこの例祭が文書群ならば廃棄処分する; int5 & int6 -> int7: この例祭は廃棄処分する; fact5 -> int8: 「この金魚掬いは様良しし聞こえ難い」ということは成り立たない; int8 -> int9: 「「様良ししおまけに聞こえ難い」ということは本当でない」物はある; fact18 & int9 -> int10: この例祭は様良くない; int7 & int10 -> int11: 「この例祭は廃棄処分する一方でそれは様良くない」ということは事実である; int11 & fact14 -> int12: この例祭は理解し難い; int12 -> hypothesis; __PROVED__
事実1: この金魚掬いは様良し一方で理解し難くない
事実2: この流氷は吹き易くない
事実3: もし仮になにかは文書群でないならば「吹き易いかもしくはそれは理解し難いか両方だ」ということは嘘である
事実4: 「この例祭は廃棄処分しないしまた割り入れない」ということは嘘だ
事実5: それは様良ししかつ聞こえ難いというものはない
事実6: もしも「「吹き易い」ということは成り立つ」ものがあるとしたらこの金魚掬いは廃棄処分するしそれは様良し
事実7: 「この例祭は限り無しないがしかし見苦しい」ということは偽だ
事実8: この金魚掬いは文書群だ
事実9: この例祭は見苦しくない
事実10: もし仮に何かは見苦しいとするとそれは文書群だ
事実11: もしとある物は廃棄処分すれば「それは文書群でないしその上物々しいということはない」ということは間違いである
事実12: もし仮に「とあるものは限り無しないしその上見苦しくない」ということは誤りであるとすればそれは文書群である
事実13: もし「「見苦しいしその上理解し難い」ということは誤っている」ものはあるなら「この例祭は見苦しくない」ということは確かだ
事実14: 仮にこの例祭が廃棄処分するけれど様良くないなら理解し難い
事実15: もしも「「様良くない」ということは間違っていない」物があるならこの例祭は様良くない
事実16: もし仮にこの例祭は限り無しないし更に見苦しくないとしたら物々しい
事実17: 「文書群は廃棄処分する」ということは事実だ
事実18: 仮に「「様良くて聞こえ難い」ということは誤りな」物があるならこの例祭は様良くない
事実19: もしもこの例祭が見苦しいとしたらそれは文書群だ
事実20: この例祭は出来易くないしおまけに富貴でない
事実21: 様良ししその上吹き易いというものはない
事実22: この例祭が限り無しないけれどそれは見苦しいなら「物々しい」ということは事実だ
事実23: この例祭は物々しかない

仮説: この例祭は吹き易いかもしくは理解し難いか両方である
1. 仮定1: 以下のように仮定する。この例祭は限り無しないしそれは見苦しくない
2. 事実16と仮定1から、推論1: "この例祭は物々しい"が導かれる
3. 推論1と事実23から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この例祭は限り無しないししかも見苦しくない」ということは偽だ"が導かれる
5. 事実12から、推論4: "もし仮に「この例祭は限り無しないしそれに見苦しくない」ということは間違いであるとするとそれは文書群だ"が導かれる
6. 推論3と推論4から、推論5: "この例祭は文書群だ"が導かれる
7. 事実17から、推論6: "もしこの例祭が文書群ならば廃棄処分する"が導かれる
8. 推論5と推論6から、推論7: "この例祭は廃棄処分する"が導かれる
9. 事実5から、推論8: "「この金魚掬いは様良しし聞こえ難い」ということは成り立たない"が導かれる
10. 推論8から、推論9: "「「様良ししおまけに聞こえ難い」ということは本当でない」物はある"が導かれる
11. 事実18と推論9から、推論10: "この例祭は様良くない"が導かれる
12. 推論7と推論10から、推論11: "「この例祭は廃棄処分する一方でそれは様良くない」ということは事実である"が導かれる
13. 推論11と事実14から、推論12: "この例祭は理解し難い"が導かれる
14. 推論12から、仮説が導かれる

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