この甲子は空気量である
fact1: 仮にある物が食糧であるとしたら聞き取り易くなくて加えてそれは御提案しない fact2: もしあのウォーターハウス邸がメルセデスベンツだとすればあのＨ社は食糧である fact3: あのＨ社は選択し易くない fact4: 「あのＨ社は御提案するしそれに起き難い」ということは成り立たない fact5: もしもなにかは許し難くないなら「それは精神分析的療法でなくてかつメルセデスベンツでない」ということは誤りである fact6: もしもあのＨ社が起き難くないけれどそれが空気量であるならこの甲子は空気量でない fact7: もし仮になにがしかの物は聞き取り易いとしたら「それは御提案するし起き難い」ということは誤りだ fact8: 仮にこの甲子が選択し易いとするとあのＨ社は空気量だ fact9: あのＨ社は説明し得るけれど選択し易くない fact10: もし仮に「あのＨ社は説明し得るがしかしそれは選択し易くない」ということは成り立つなら聞き取り易い fact11: 仮に「あのＨ社は御提案するがしかし起き難いということはない」ということは誤りであるとするとこの甲子は空気量だ fact12: 仮に「あの朝鮮関係は精神分析的療法でなくてまたメルセデスベンツでない」ということは成り立たないとしたら「あのウォーターハウス邸はメルセデスベンツである」ということは成り立つ fact13: 仮にとあるものが聞き取り易くないとするとそれは起き難くない一方で空気量である fact14: もし何かは聞き取り易いとしたら「それは御提案するけど起き難くない」ということは偽である fact15: もしあのＨ社は聞き取り易いとしたら「御提案するしその上起き難い」ということは事実と異なる fact16: もし仮に「あの朝鮮関係は大規模試験でないがしかし山深い」ということは成り立つということはないとしたらそれは許し難くない
fact10 & fact9 -> int1: あのＨ社は聞き取り易い; fact14 -> int2: 「あのＨ社は聞き取り易い」ということは正しいなら「御提案するけど起き難くない」ということは事実でない; int1 & int2 -> int3: 「あのＨ社は御提案する一方で起き難くない」ということは正しくない; int3 & fact11 -> hypothesis;
この甲子は空気量でない
fact17 -> int4: もしあのＨ社が聞き取り易くないとするとそれは起き難くないしその上空気量だ; fact21 -> int5: もしもあのＨ社は食糧であるとしたらそれは聞き取り易くなくておまけに御提案しない; fact18 -> int6: あの朝鮮関係は許し難くないとすれば「それは精神分析的療法でないしおまけにメルセデスベンツでない」ということは誤っている;
$facts$ = fact1: 仮にある物が食糧であるとしたら聞き取り易くなくて加えてそれは御提案しない fact2: もしあのウォーターハウス邸がメルセデスベンツだとすればあのＨ社は食糧である fact3: あのＨ社は選択し易くない fact4: 「あのＨ社は御提案するしそれに起き難い」ということは成り立たない fact5: もしもなにかは許し難くないなら「それは精神分析的療法でなくてかつメルセデスベンツでない」ということは誤りである fact6: もしもあのＨ社が起き難くないけれどそれが空気量であるならこの甲子は空気量でない fact7: もし仮になにがしかの物は聞き取り易いとしたら「それは御提案するし起き難い」ということは誤りだ fact8: 仮にこの甲子が選択し易いとするとあのＨ社は空気量だ fact9: あのＨ社は説明し得るけれど選択し易くない fact10: もし仮に「あのＨ社は説明し得るがしかしそれは選択し易くない」ということは成り立つなら聞き取り易い fact11: 仮に「あのＨ社は御提案するがしかし起き難いということはない」ということは誤りであるとするとこの甲子は空気量だ fact12: 仮に「あの朝鮮関係は精神分析的療法でなくてまたメルセデスベンツでない」ということは成り立たないとしたら「あのウォーターハウス邸はメルセデスベンツである」ということは成り立つ fact13: 仮にとあるものが聞き取り易くないとするとそれは起き難くない一方で空気量である fact14: もし何かは聞き取り易いとしたら「それは御提案するけど起き難くない」ということは偽である fact15: もしあのＨ社は聞き取り易いとしたら「御提案するしその上起き難い」ということは事実と異なる fact16: もし仮に「あの朝鮮関係は大規模試験でないがしかし山深い」ということは成り立つということはないとしたらそれは許し難くない ; $hypothesis$ = この甲子は空気量である ; $proof$ = 
fact10 & fact9 -> int1: あのＨ社は聞き取り易い; fact14 -> int2: 「あのＨ社は聞き取り易い」ということは正しいなら「御提案するけど起き難くない」ということは事実でない; int1 & int2 -> int3: 「あのＨ社は御提案する一方で起き難くない」ということは正しくない; int3 & fact11 -> hypothesis; __PROVED__
事実1: 仮にある物が食糧であるとしたら聞き取り易くなくて加えてそれは御提案しない
事実2: もしあのウォーターハウス邸がメルセデスベンツだとすればあのＨ社は食糧である
事実3: あのＨ社は選択し易くない
事実4: 「あのＨ社は御提案するしそれに起き難い」ということは成り立たない
事実5: もしもなにかは許し難くないなら「それは精神分析的療法でなくてかつメルセデスベンツでない」ということは誤りである
事実6: もしもあのＨ社が起き難くないけれどそれが空気量であるならこの甲子は空気量でない
事実7: もし仮になにがしかの物は聞き取り易いとしたら「それは御提案するし起き難い」ということは誤りだ
事実8: 仮にこの甲子が選択し易いとするとあのＨ社は空気量だ
事実9: あのＨ社は説明し得るけれど選択し易くない
事実10: もし仮に「あのＨ社は説明し得るがしかしそれは選択し易くない」ということは成り立つなら聞き取り易い
事実11: 仮に「あのＨ社は御提案するがしかし起き難いということはない」ということは誤りであるとするとこの甲子は空気量だ
事実12: 仮に「あの朝鮮関係は精神分析的療法でなくてまたメルセデスベンツでない」ということは成り立たないとしたら「あのウォーターハウス邸はメルセデスベンツである」ということは成り立つ
事実13: 仮にとあるものが聞き取り易くないとするとそれは起き難くない一方で空気量である
事実14: もし何かは聞き取り易いとしたら「それは御提案するけど起き難くない」ということは偽である
事実15: もしあのＨ社は聞き取り易いとしたら「御提案するしその上起き難い」ということは事実と異なる
事実16: もし仮に「あの朝鮮関係は大規模試験でないがしかし山深い」ということは成り立つということはないとしたらそれは許し難くない

仮説: この甲子は空気量である
1. 事実10と事実9から、推論1: "あのＨ社は聞き取り易い"が導かれる
2. 事実14から、推論2: "「あのＨ社は聞き取り易い」ということは正しいなら「御提案するけど起き難くない」ということは事実でない"が導かれる
3. 推論1と推論2から、推論3: "「あのＨ社は御提案する一方で起き難くない」ということは正しくない"が導かれる
4. 推論3と事実11から、仮説が導かれる

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