この住民税は決定方法だ
fact1: この奥行きは鰓でない fact2: もし木仏が二十四時間体制でないとすればそれは決定方法である fact3: もし「この奥行きは鰓でない」ということは確かであるならば「導き入れないし傑物でない」ということは偽だ fact4: 仮にこの奥行きが物悲しくないとするとこの住民税は二十四時間体制でない fact5: もしあの赤ペンが木仏でないとすると物悲しくないしさらに握り易いということはない fact6: もしもこの奥行きが物悲しくないならばあの住民税は木仏であるけどそれは二十四時間体制でない fact7: もし仮になにがしかのものは狭くないとしたら「決定方法であるしさらに握り易い」ということは間違いだ fact8: あの封建制は握り易くない fact9: この住民税は二十四時間体制でない fact10: 「あるものは物悲しくないし握り易いということはない」ということは本当だとするとそれは狭い fact11: この奥行きは狭い fact12: もし握り易い物は狭いならば「それは物悲しくない」ということは誤りであるということはない fact13: 仮にこの住民税が木仏だしおまけにそれは二十四時間体制であるとすると決定方法である fact14: 「もし「何らかのものは導き入れないし更にそれは傑物でない」ということは間違っていれば握り易い」ということは確かである
fact14 -> int1: もし「この奥行きは導き入れなくてかつ傑物でない」ということは誤っているならそれは握り易い; fact1 & fact3 -> int2: 「この奥行きは導き入れないしまたそれは傑物でない」ということは間違いである; int1 & int2 -> int3: この奥行きは握り易い; int3 & fact11 -> int4: この奥行きは握り易くて狭い; fact12 -> int5: もし仮にこの奥行きが握り易くて狭いとすれば物悲しくない; int4 & int5 -> int6: 「この奥行きは物悲しくない」ということは成り立つ; int6 & fact6 -> int7: この住民税は木仏だが二十四時間体制でない; fact2 -> int8: もしも「この住民税は木仏であるけれどそれは二十四時間体制でない」ということは本当であるならば決定方法だ; int7 & int8 -> hypothesis;
この住民税は決定方法でない
fact15 -> int9: もしあの赤ペンは物悲しくないし加えて握り易くないとしたらそれは狭い;
$facts$ = fact1: この奥行きは鰓でない fact2: もし木仏が二十四時間体制でないとすればそれは決定方法である fact3: もし「この奥行きは鰓でない」ということは確かであるならば「導き入れないし傑物でない」ということは偽だ fact4: 仮にこの奥行きが物悲しくないとするとこの住民税は二十四時間体制でない fact5: もしあの赤ペンが木仏でないとすると物悲しくないしさらに握り易いということはない fact6: もしもこの奥行きが物悲しくないならばあの住民税は木仏であるけどそれは二十四時間体制でない fact7: もし仮になにがしかのものは狭くないとしたら「決定方法であるしさらに握り易い」ということは間違いだ fact8: あの封建制は握り易くない fact9: この住民税は二十四時間体制でない fact10: 「あるものは物悲しくないし握り易いということはない」ということは本当だとするとそれは狭い fact11: この奥行きは狭い fact12: もし握り易い物は狭いならば「それは物悲しくない」ということは誤りであるということはない fact13: 仮にこの住民税が木仏だしおまけにそれは二十四時間体制であるとすると決定方法である fact14: 「もし「何らかのものは導き入れないし更にそれは傑物でない」ということは間違っていれば握り易い」ということは確かである ; $hypothesis$ = この住民税は決定方法だ ; $proof$ = 
fact14 -> int1: もし「この奥行きは導き入れなくてかつ傑物でない」ということは誤っているならそれは握り易い; fact1 & fact3 -> int2: 「この奥行きは導き入れないしまたそれは傑物でない」ということは間違いである; int1 & int2 -> int3: この奥行きは握り易い; int3 & fact11 -> int4: この奥行きは握り易くて狭い; fact12 -> int5: もし仮にこの奥行きが握り易くて狭いとすれば物悲しくない; int4 & int5 -> int6: 「この奥行きは物悲しくない」ということは成り立つ; int6 & fact6 -> int7: この住民税は木仏だが二十四時間体制でない; fact2 -> int8: もしも「この住民税は木仏であるけれどそれは二十四時間体制でない」ということは本当であるならば決定方法だ; int7 & int8 -> hypothesis; __PROVED__
事実1: この奥行きは鰓でない
事実2: もし木仏が二十四時間体制でないとすればそれは決定方法である
事実3: もし「この奥行きは鰓でない」ということは確かであるならば「導き入れないし傑物でない」ということは偽だ
事実4: 仮にこの奥行きが物悲しくないとするとこの住民税は二十四時間体制でない
事実5: もしあの赤ペンが木仏でないとすると物悲しくないしさらに握り易いということはない
事実6: もしもこの奥行きが物悲しくないならばあの住民税は木仏であるけどそれは二十四時間体制でない
事実7: もし仮になにがしかのものは狭くないとしたら「決定方法であるしさらに握り易い」ということは間違いだ
事実8: あの封建制は握り易くない
事実9: この住民税は二十四時間体制でない
事実10: 「あるものは物悲しくないし握り易いということはない」ということは本当だとするとそれは狭い
事実11: この奥行きは狭い
事実12: もし握り易い物は狭いならば「それは物悲しくない」ということは誤りであるということはない
事実13: 仮にこの住民税が木仏だしおまけにそれは二十四時間体制であるとすると決定方法である
事実14: 「もし「何らかのものは導き入れないし更にそれは傑物でない」ということは間違っていれば握り易い」ということは確かである

仮説: この住民税は決定方法だ
1. 事実14から、推論1: "もし「この奥行きは導き入れなくてかつ傑物でない」ということは誤っているならそれは握り易い"が導かれる
2. 事実1と事実3から、推論2: "「この奥行きは導き入れないしまたそれは傑物でない」ということは間違いである"が導かれる
3. 推論1と推論2から、推論3: "この奥行きは握り易い"が導かれる
4. 推論3と事実11から、推論4: "この奥行きは握り易くて狭い"が導かれる
5. 事実12から、推論5: "もし仮にこの奥行きが握り易くて狭いとすれば物悲しくない"が導かれる
6. 推論4と推論5から、推論6: "「この奥行きは物悲しくない」ということは成り立つ"が導かれる
7. 推論6と事実6から、推論7: "この住民税は木仏だが二十四時間体制でない"が導かれる
8. 事実2から、推論8: "もしも「この住民税は木仏であるけれどそれは二十四時間体制でない」ということは本当であるならば決定方法だ"が導かれる
9. 推論7と推論8から、仮説が導かれる

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