あのＢＣＬは御説きに成る
fact1: 「この取り引き量はデスモンでないし分かり始めない」ということは偽だ fact2: 「仮になにかは江戸城中だとすればこの大使は通じ難いかあるいは江戸城中だ」ということは事実だ fact3: 「「あの上旬は上接しないしさらに微笑み掛けない」ということは成り立つ」ということは間違いだ fact4: 通じ難くないものが傾き易いとすればそれは江戸城中だ fact5: もしなにがしかの物は還元カラムであるならば通じ難くないが傾き易い fact6: もしも「「口授するけれど抜かさない」ということは本当でない」ものはあるとすれば「あの上旬は還元カラムだ」ということは成り立つ fact7: もしもなんらかのものが口授するということはないなら追っ掛けないしそれに抜かさない fact8: あのＢＣＬはデスモンでない fact9: もし仮にこの大使が江戸城中だとしたらあの上旬は通じ難くない fact10: もし「この取り引き量はデスモンでないしそれに分かり始めない」ということは誤っているとしたら追っ掛けない fact11: なんらかの物は追っ掛けるということはないし抜かさないとするとそれは御説きに成らない fact12: 仮にその水力発電所が傾き易くないならあの上旬は傾き易いということはない fact13: もし仮にこの大使が通じ難いとするとあの上旬は通じ難くない fact14: もし仮に「あの上旬は通じ難いしおまけに傾き易い」ということは事実であるとすると江戸城中だ fact15: 仮にあの上旬は江戸城中だとすれば「あのＢＣＬは御説きに成る」ということは成り立つ fact16: もしこの沿岸部は口授しないとすれば「抜かすし追っ掛ける」ということは成り立つ fact17: この胸郭変形は傾き易いということはないかもしくは生業形態でないかどちらもだ fact18: もしもあのＢＣＬは追っ掛けるし加えて御説きに成るとすると還元カラムだ fact19: 「なんらかの物は江戸城中だ」ということは成り立つ fact20: もし仮にこの取り引き量は追っ掛けないとすれば「このジェイニーは口授するけれどそれは抜かさない」ということは偽である fact21: 「「切り結ぶしおまけに封殺する」ということは嘘な」ものはある fact22: もしもなんらかのものは抜かすとすると「それは混入するし更にそれは感応出来ない」ということは確かでない fact23: もし仮にこのジェイニーは通じ難いし御説きに成るとすればそれは抜かす fact24: もし「この取り引き量は口授するが還元カラムでない」ということは間違いであるならばあのＢＣＬは口授するということはない
fact10 & fact1 -> int1: この取り引き量は追っ掛けない; int1 & fact20 -> int2: 「このジェイニーは口授する一方で抜かさない」ということは事実と異なる; int2 -> int3: 「「口授するし抜かさない」ということは事実と異なる」ものはある; int3 & fact6 -> int4: あの上旬は還元カラムだ; fact5 -> int5: あの上旬が還元カラムであるとするとそれが通じ難くないしさらにそれは傾き易い; int4 & int5 -> int6: あの上旬は通じ難くないけれど傾き易い; fact4 -> int7: 仮にあの上旬が通じ難くないがしかしそれは傾き易いとしたら「江戸城中だ」ということは事実だ; int6 & int7 -> int8: あの上旬は江戸城中である; int8 & fact15 -> hypothesis;
あのＢＣＬは御説きに成らない
fact29 -> int9: 仮にあのＢＣＬは追っ掛けないしかつ抜かさないとすれば御説きに成るということはない; fact26 -> int10: 仮にあのＢＣＬが口授しないならばそれは追っ掛けないし抜かさない; fact33 & fact32 -> int11: この大使は通じ難いかそれは江戸城中だ; int11 & fact31 & fact25 -> 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: もし「この取り引き量は口授するが還元カラムでない」ということは間違いであるならばあのＢＣＬは口授するということはない ; $hypothesis$ = あのＢＣＬは御説きに成る ; $proof$ = 
fact10 & fact1 -> int1: この取り引き量は追っ掛けない; int1 & fact20 -> int2: 「このジェイニーは口授する一方で抜かさない」ということは事実と異なる; int2 -> int3: 「「口授するし抜かさない」ということは事実と異なる」ものはある; int3 & fact6 -> int4: あの上旬は還元カラムだ; fact5 -> int5: あの上旬が還元カラムであるとするとそれが通じ難くないしさらにそれは傾き易い; int4 & int5 -> int6: あの上旬は通じ難くないけれど傾き易い; fact4 -> int7: 仮にあの上旬が通じ難くないがしかしそれは傾き易いとしたら「江戸城中だ」ということは事実だ; int6 & int7 -> int8: あの上旬は江戸城中である; int8 & fact15 -> 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: もし「この取り引き量は口授するが還元カラムでない」ということは間違いであるならばあのＢＣＬは口授するということはない

仮説: あのＢＣＬは御説きに成る
1. 事実10と事実1から、推論1: "この取り引き量は追っ掛けない"が導かれる
2. 推論1と事実20から、推論2: "「このジェイニーは口授する一方で抜かさない」ということは事実と異なる"が導かれる
3. 推論2から、推論3: "「「口授するし抜かさない」ということは事実と異なる」ものはある"が導かれる
4. 推論3と事実6から、推論4: "あの上旬は還元カラムだ"が導かれる
5. 事実5から、推論5: "あの上旬が還元カラムであるとするとそれが通じ難くないしさらにそれは傾き易い"が導かれる
6. 推論4と推論5から、推論6: "あの上旬は通じ難くないけれど傾き易い"が導かれる
7. 事実4から、推論7: "仮にあの上旬が通じ難くないがしかしそれは傾き易いとしたら「江戸城中だ」ということは事実だ"が導かれる
8. 推論6と推論7から、推論8: "あの上旬は江戸城中である"が導かれる
9. 推論8と事実15から、仮説が導かれる

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