この秋以降は久し
fact1: この側頭連合野が惨めったらしいとしたらそれは滑り難くないしふざけ合うということはない fact2: この葉書宛て名印刷は蒸さない fact3: もしもそのブラシ選択パレットが蒸さないとすれば妖精族であるけど経理しない fact4: この葉書宛て名印刷は香しい fact5: もしもこの葉書宛て名印刷が妖精族でないがそれが言い訳がましいとするとこの秋以降は妖精族でない fact6: 「なにかはドレスアップする一方で来朝しない」ということは誤りだとしたら「ドレスアップしない」ということは真実である fact7: もし仮になにかは妖精族でないとすれば河童さん家でない fact8: もし久しないものは来朝すれば「それはドレスアップするということはない」ということは真実である fact9: 「この葉書宛て名印刷は妖精族であるけど蒸さない」ということは間違いである fact10: もし「この葉書宛て名印刷は経理する」ということは確かだとしたらこの秋以降はドレスアップしない fact11: この葉書宛て名印刷は言い訳がましかない fact12: 仮にこの秋以降は経理しないししかもドレスアップするということはないならば久し fact13: もしこの葉書宛て名印刷が言い訳がましくらなくて河童さん家でないとすれば経理する fact14: もし仮に何らかの物は滑り難くないとすれば「それはドレスアップするが来朝するということはない」ということは間違っている fact15: 「もし仮に「「なにかは久ししそれにそれは蒸す」ということは嘘でない」ということは本当でないならばそれは久しということはない」ということは成り立つ fact16: もしこの葉書宛て名印刷が蒸すが久しないならばこの秋以降は久しない fact17: もしもこの秋以降は経理しないがドレスアップするとすれば久し fact18: 仮にこの秋以降が妖精族ならこの葉書宛て名印刷は妖精族でないしさらにそれは言い訳がましいということはない fact19: この秋以降はドレスアップしない fact20: その若狭国は蒸さない fact21: 仮にとある物は妖精族でないならば「それは久しししかも蒸す」ということは誤りである fact22: この葉書宛て名印刷は滑り難い fact23: もしこの葉書宛て名印刷が言い訳がましくらないけれど河童さん家であるとしたらそのブラシ選択パレットは蒸さない fact24: 仮にこの葉書宛て名印刷が経理するとしたらこの秋以降は経理しないしかつそれはドレスアップしない fact25: この側頭連合野がドレスアップしないとすればあの葉書宛て名印刷は河童さん家であるししかも経理する
void -> assump1: 以下のように仮定する。この葉書宛て名印刷は妖精族だ; assump1 & fact2 -> int1: この葉書宛て名印刷は妖精族だけど蒸さない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: この葉書宛て名印刷は妖精族であるということはない; fact7 -> int4: 仮にこの葉書宛て名印刷は妖精族でないとすると河童さん家でない; int3 & int4 -> int5: この葉書宛て名印刷は河童さん家でない; int5 & fact11 -> int6: この葉書宛て名印刷が言い訳はましくらなくて河童さん家でない; int6 & fact13 -> int7: この葉書宛て名印刷は経理する; int7 & fact24 -> int8: この秋以降は経理しないしそれはドレスアップするということはない; int8 & fact12 -> hypothesis;
この秋以降は久しない
fact29 -> int9: 仮に「この秋以降は久ししまた蒸す」ということは誤りであるとすれば久しない; fact30 -> int10: もしこの秋以降は妖精族でないならば「それは久ししその上蒸す」ということは誤っている; fact31 -> int11: もし「この側頭連合野はドレスアップするけど来朝しない」ということは間違いであるとするとそれはドレスアップしない; fact27 -> int12: 仮にこの側頭連合野は滑り難くないなら「それはドレスアップするしそれは来朝しない」ということは成り立つということはない;
$facts$ = fact1: この側頭連合野が惨めったらしいとしたらそれは滑り難くないしふざけ合うということはない fact2: この葉書宛て名印刷は蒸さない fact3: もしもそのブラシ選択パレットが蒸さないとすれば妖精族であるけど経理しない fact4: この葉書宛て名印刷は香しい fact5: もしもこの葉書宛て名印刷が妖精族でないがそれが言い訳がましいとするとこの秋以降は妖精族でない fact6: 「なにかはドレスアップする一方で来朝しない」ということは誤りだとしたら「ドレスアップしない」ということは真実である fact7: もし仮になにかは妖精族でないとすれば河童さん家でない fact8: もし久しないものは来朝すれば「それはドレスアップするということはない」ということは真実である fact9: 「この葉書宛て名印刷は妖精族であるけど蒸さない」ということは間違いである fact10: もし「この葉書宛て名印刷は経理する」ということは確かだとしたらこの秋以降はドレスアップしない fact11: この葉書宛て名印刷は言い訳がましかない fact12: 仮にこの秋以降は経理しないししかもドレスアップするということはないならば久し fact13: もしこの葉書宛て名印刷が言い訳がましくらなくて河童さん家でないとすれば経理する fact14: もし仮に何らかの物は滑り難くないとすれば「それはドレスアップするが来朝するということはない」ということは間違っている fact15: 「もし仮に「「なにかは久ししそれにそれは蒸す」ということは嘘でない」ということは本当でないならばそれは久しということはない」ということは成り立つ fact16: もしこの葉書宛て名印刷が蒸すが久しないならばこの秋以降は久しない fact17: もしもこの秋以降は経理しないがドレスアップするとすれば久し fact18: 仮にこの秋以降が妖精族ならこの葉書宛て名印刷は妖精族でないしさらにそれは言い訳がましいということはない fact19: この秋以降はドレスアップしない fact20: その若狭国は蒸さない fact21: 仮にとある物は妖精族でないならば「それは久しししかも蒸す」ということは誤りである fact22: この葉書宛て名印刷は滑り難い fact23: もしこの葉書宛て名印刷が言い訳がましくらないけれど河童さん家であるとしたらそのブラシ選択パレットは蒸さない fact24: 仮にこの葉書宛て名印刷が経理するとしたらこの秋以降は経理しないしかつそれはドレスアップしない fact25: この側頭連合野がドレスアップしないとすればあの葉書宛て名印刷は河童さん家であるししかも経理する ; $hypothesis$ = この秋以降は久し ; $proof$ = 
void -> assump1: 以下のように仮定する。この葉書宛て名印刷は妖精族だ; assump1 & fact2 -> int1: この葉書宛て名印刷は妖精族だけど蒸さない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: この葉書宛て名印刷は妖精族であるということはない; fact7 -> int4: 仮にこの葉書宛て名印刷は妖精族でないとすると河童さん家でない; int3 & int4 -> int5: この葉書宛て名印刷は河童さん家でない; int5 & fact11 -> int6: この葉書宛て名印刷が言い訳はましくらなくて河童さん家でない; int6 & fact13 -> int7: この葉書宛て名印刷は経理する; int7 & fact24 -> int8: この秋以降は経理しないしそれはドレスアップするということはない; int8 & fact12 -> 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: もしこの葉書宛て名印刷が言い訳がましくらないけれど河童さん家であるとしたらそのブラシ選択パレットは蒸さない
事実24: 仮にこの葉書宛て名印刷が経理するとしたらこの秋以降は経理しないしかつそれはドレスアップしない
事実25: この側頭連合野がドレスアップしないとすればあの葉書宛て名印刷は河童さん家であるししかも経理する

仮説: この秋以降は久し
1. 仮定1: 以下のように仮定する。この葉書宛て名印刷は妖精族だ
2. 仮定1と事実2から、推論1: "この葉書宛て名印刷は妖精族だけど蒸さない"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この葉書宛て名印刷は妖精族であるということはない"が導かれる
5. 事実7から、推論4: "仮にこの葉書宛て名印刷は妖精族でないとすると河童さん家でない"が導かれる
6. 推論3と推論4から、推論5: "この葉書宛て名印刷は河童さん家でない"が導かれる
7. 推論5と事実11から、推論6: "この葉書宛て名印刷が言い訳はましくらなくて河童さん家でない"が導かれる
8. 推論6と事実13から、推論7: "この葉書宛て名印刷は経理する"が導かれる
9. 推論7と事実24から、推論8: "この秋以降は経理しないしそれはドレスアップするということはない"が導かれる
10. 推論8と事実12から、仮説が導かれる

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