このオルガニストは零．五ＭＬでない
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: もしもあの節度使が初発するしそれは集まり易いならば「このオルガニストは眠たいということはない」ということは本当だ fact26: 「あの執行文付与は当て嵌まるがしかしそれは地域産業振興でない」ということは偽だ
fact3 & fact8 -> int1: 「あの執行文付与は当て嵌まるないしおまけに地域産業振興であるということはない」ということは成り立たない; int1 -> int2: 「「当て嵌まるないし更に地域産業振興でない」ということは成り立たない」物はある; int2 & fact4 -> int3: あの節度使は憎々しい; fact14 -> int4: あの節度使が憎々しいならばそれは初発する; int3 & int4 -> int5: あの節度使は初発する; fact23 & fact24 -> int6: あの節度使は集まり易い; int5 & int6 -> int7: あの節度使は初発するしまた集まり易い; int7 & fact25 -> int8: このオルガニストは眠たくない; fact12 -> int9: もし仮にこのオルガニストが眠たくないとすればそれは零．五ＭＬであるということはない; int8 & int9 -> hypothesis;
「「寄り掛かる」ということは成り立つ」物はある
fact27 -> int10: もし仮にあの執行文付与が絶え難いとすると寄り掛かる;
$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: もしもあの節度使が初発するしそれは集まり易いならば「このオルガニストは眠たいということはない」ということは本当だ fact26: 「あの執行文付与は当て嵌まるがしかしそれは地域産業振興でない」ということは偽だ ; $hypothesis$ = このオルガニストは零．五ＭＬでない ; $proof$ = 
fact3 & fact8 -> int1: 「あの執行文付与は当て嵌まるないしおまけに地域産業振興であるということはない」ということは成り立たない; int1 -> int2: 「「当て嵌まるないし更に地域産業振興でない」ということは成り立たない」物はある; int2 & fact4 -> int3: あの節度使は憎々しい; fact14 -> int4: あの節度使が憎々しいならばそれは初発する; int3 & int4 -> int5: あの節度使は初発する; fact23 & fact24 -> int6: あの節度使は集まり易い; int5 & int6 -> int7: あの節度使は初発するしまた集まり易い; int7 & fact25 -> int8: このオルガニストは眠たくない; fact12 -> int9: もし仮にこのオルガニストが眠たくないとすればそれは零．五ＭＬであるということはない; int8 & int9 -> 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: もしもあの節度使が初発するしそれは集まり易いならば「このオルガニストは眠たいということはない」ということは本当だ
事実26: 「あの執行文付与は当て嵌まるがしかしそれは地域産業振興でない」ということは偽だ

仮説: このオルガニストは零．五ＭＬでない
1. 事実3と事実8から、推論1: "「あの執行文付与は当て嵌まるないしおまけに地域産業振興であるということはない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「当て嵌まるないし更に地域産業振興でない」ということは成り立たない」物はある"が導かれる
3. 推論2と事実4から、推論3: "あの節度使は憎々しい"が導かれる
4. 事実14から、推論4: "あの節度使が憎々しいならばそれは初発する"が導かれる
5. 推論3と推論4から、推論5: "あの節度使は初発する"が導かれる
6. 事実23と事実24から、推論6: "あの節度使は集まり易い"が導かれる
7. 推論5と推論6から、推論7: "あの節度使は初発するしまた集まり易い"が導かれる
8. 推論7と事実25から、推論8: "このオルガニストは眠たくない"が導かれる
9. 事実12から、推論9: "もし仮にこのオルガニストが眠たくないとすればそれは零．五ＭＬであるということはない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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