このオールド・エコノミーは燥ぐ
fact1: もしこの第十六ポンプ車隊が軽くて加えて油っぽいとするとこのオールド・エコノミーは狩り出さない fact2: もし仮になにかは狩り出すということはないならそれは燥ぐ fact3: もし「なにがしかのものはみっともないけど燥ぐない」ということは誤りであるとすると「それは燥ぐ」ということは成り立つ fact4: もし仮になにかは短縮出来るとしたら「みっともなくて加えてそれは燥ぐない」ということは成り立たない fact5: 「「短縮出来る」ということは間違いであるということはない」ものはある fact6: 「みっともない」ものはある fact7: もし仮に「この第十六ポンプ車隊は多い」ということは誤っていないならばそれは油っぽい fact8: もしこのオールド・エコノミーは分かち難いなら「それは燥ぐ」ということは成り立つ fact9: もしもなんらかの物は軽くないとすれば「それは短縮出来ないししかもそれはみっともなくない」ということは成り立たない fact10: その社会意識は軽い fact11: 仮にこの歌い手が軽いならばそれは短縮出来る fact12: もし仮にこの第十六ポンプ車隊が軽くないとするとそれは狩り出す fact13: なんらかのものが短縮出来るしさらにそれがみっともないとするとこの第十六ポンプ車隊は軽い fact14: この第十六ポンプ車隊は分かち難いかまたは多いかまたはどちらもである fact15: もし仮にこの第十六ポンプ車隊が分かち難いならばそれは油っぽい fact16: 「短縮出来るしかつみっともない」物はある
fact16 & fact13 -> int1: この第十六ポンプ車隊は軽い; fact14 & fact7 & fact15 -> int2: 「この第十六ポンプ車隊は油っぽい」ということは成り立つ; int1 & int2 -> int3: この第十六ポンプ車隊は軽いしそれにそれは油っぽい; int3 & fact1 -> int4: このオールド・エコノミーは狩り出さない; fact2 -> int5: このオールド・エコノミーが狩り出さないとしたら燥ぐ; int4 & int5 -> hypothesis;
この歌い手は燥ぐ
fact19 -> int6: もし仮に「この歌い手はみっともないがしかしそれは燥ぐない」ということは嘘であるとしたらそれは燥ぐ; fact18 -> int7: この歌い手は短縮出来るとすれば「それはみっともないしそれは燥ぐない」ということは誤っている;
$facts$ = fact1: もしこの第十六ポンプ車隊が軽くて加えて油っぽいとするとこのオールド・エコノミーは狩り出さない fact2: もし仮になにかは狩り出すということはないならそれは燥ぐ fact3: もし「なにがしかのものはみっともないけど燥ぐない」ということは誤りであるとすると「それは燥ぐ」ということは成り立つ fact4: もし仮になにかは短縮出来るとしたら「みっともなくて加えてそれは燥ぐない」ということは成り立たない fact5: 「「短縮出来る」ということは間違いであるということはない」ものはある fact6: 「みっともない」ものはある fact7: もし仮に「この第十六ポンプ車隊は多い」ということは誤っていないならばそれは油っぽい fact8: もしこのオールド・エコノミーは分かち難いなら「それは燥ぐ」ということは成り立つ fact9: もしもなんらかの物は軽くないとすれば「それは短縮出来ないししかもそれはみっともなくない」ということは成り立たない fact10: その社会意識は軽い fact11: 仮にこの歌い手が軽いならばそれは短縮出来る fact12: もし仮にこの第十六ポンプ車隊が軽くないとするとそれは狩り出す fact13: なんらかのものが短縮出来るしさらにそれがみっともないとするとこの第十六ポンプ車隊は軽い fact14: この第十六ポンプ車隊は分かち難いかまたは多いかまたはどちらもである fact15: もし仮にこの第十六ポンプ車隊が分かち難いならばそれは油っぽい fact16: 「短縮出来るしかつみっともない」物はある ; $hypothesis$ = このオールド・エコノミーは燥ぐ ; $proof$ = 
fact16 & fact13 -> int1: この第十六ポンプ車隊は軽い; fact14 & fact7 & fact15 -> int2: 「この第十六ポンプ車隊は油っぽい」ということは成り立つ; int1 & int2 -> int3: この第十六ポンプ車隊は軽いしそれにそれは油っぽい; int3 & fact1 -> int4: このオールド・エコノミーは狩り出さない; fact2 -> int5: このオールド・エコノミーが狩り出さないとしたら燥ぐ; int4 & int5 -> hypothesis; __PROVED__
事実1: もしこの第十六ポンプ車隊が軽くて加えて油っぽいとするとこのオールド・エコノミーは狩り出さない
事実2: もし仮になにかは狩り出すということはないならそれは燥ぐ
事実3: もし「なにがしかのものはみっともないけど燥ぐない」ということは誤りであるとすると「それは燥ぐ」ということは成り立つ
事実4: もし仮になにかは短縮出来るとしたら「みっともなくて加えてそれは燥ぐない」ということは成り立たない
事実5: 「「短縮出来る」ということは間違いであるということはない」ものはある
事実6: 「みっともない」ものはある
事実7: もし仮に「この第十六ポンプ車隊は多い」ということは誤っていないならばそれは油っぽい
事実8: もしこのオールド・エコノミーは分かち難いなら「それは燥ぐ」ということは成り立つ
事実9: もしもなんらかの物は軽くないとすれば「それは短縮出来ないししかもそれはみっともなくない」ということは成り立たない
事実10: その社会意識は軽い
事実11: 仮にこの歌い手が軽いならばそれは短縮出来る
事実12: もし仮にこの第十六ポンプ車隊が軽くないとするとそれは狩り出す
事実13: なんらかのものが短縮出来るしさらにそれがみっともないとするとこの第十六ポンプ車隊は軽い
事実14: この第十六ポンプ車隊は分かち難いかまたは多いかまたはどちらもである
事実15: もし仮にこの第十六ポンプ車隊が分かち難いならばそれは油っぽい
事実16: 「短縮出来るしかつみっともない」物はある

仮説: このオールド・エコノミーは燥ぐ
1. 事実16と事実13から、推論1: "この第十六ポンプ車隊は軽い"が導かれる
2. 事実14と事実7と事実15から、推論2: "「この第十六ポンプ車隊は油っぽい」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "この第十六ポンプ車隊は軽いしそれにそれは油っぽい"が導かれる
4. 推論3と事実1から、推論4: "このオールド・エコノミーは狩り出さない"が導かれる
5. 事実2から、推論5: "このオールド・エコノミーが狩り出さないとしたら燥ぐ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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