「あの行政者はがめつかなくて計量分析だということはない」ということは確かでない
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: もしこの料理長が入り口部であるとするとあの赤目柳はハンドルネームである
void -> assump1: 以下のように仮定する。この部屋着は東風だ; fact10 & assump1 -> int1: 「この料理長は入り口部であるということはないけれどそれは運び込む」ということは成り立たない; int1 & fact8 -> int2: あの赤目柳はハンドルネームである; fact19 -> int3: もしもあの赤目柳はハンドルネームならば「両国間でない」ということは正しい; int2 & int3 -> int4: あの赤目柳は両国間だということはない; fact3 & fact12 -> int5: あの赤目柳は両国間であるし加えてどぎつい; int5 -> int6: あの赤目柳は両国間である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この部屋着は東風でない; fact13 -> int9: もしこの部屋着は東風でないならそれは働き易いということはない; int8 & int9 -> int10: この部屋着は働き易いということはない; int10 & fact1 -> int11: この満州移民はがめつい; int11 & fact6 -> hypothesis;
あの行政者はがめついということはないしさらに計量分析でない
fact35 -> int12: もしもあの行政者は東風でないとするとそれはがめつかないし計量分析でない; fact28 -> int13: もしあの行政者がハンドルネームでないかまたはそれは東風でないかあるいは両方ともであるとすると「それは東風でない」ということは成り立つ; fact30 -> int14: もしもあの行政者が両国間であるならばそれはハンドルネームでないか東風でない; fact27 -> int15: 仮に「あの赤目柳は角張らない」ということは成り立つとすれば千九百九十九Ｃであるしそれに見極め難い; fact34 -> int16: あの赤目柳が並立しないならばそれは角張らない; fact32 -> int17: この満州移民が所らしいならば食べ易いしかつそれは並立しない; int17 & fact36 -> int18: この満州移民は食べ易いけど並立しない; fact29 & int18 -> int19: あの赤目柳は並立しない; int16 & int19 -> int20: あの赤目柳は角張らない; int15 & int20 -> int21: あの赤目柳は千九百九十九Ｃであるしまた見極め難い; int21 -> int22: あの赤目柳は千九百九十九Ｃである; fact33 & int22 -> int23: 「この料理長は面白いかまたはどぎつかない」ということは成り立つということはない; int23 -> int24: 「「面白いかあるいはどぎつかない」ということは成り立たない」ものはある;
$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$ = 
void -> assump1: 以下のように仮定する。この部屋着は東風だ; fact10 & assump1 -> int1: 「この料理長は入り口部であるということはないけれどそれは運び込む」ということは成り立たない; int1 & fact8 -> int2: あの赤目柳はハンドルネームである; fact19 -> int3: もしもあの赤目柳はハンドルネームならば「両国間でない」ということは正しい; int2 & int3 -> int4: あの赤目柳は両国間だということはない; fact3 & fact12 -> int5: あの赤目柳は両国間であるし加えてどぎつい; int5 -> int6: あの赤目柳は両国間である; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この部屋着は東風でない; fact13 -> int9: もしこの部屋着は東風でないならそれは働き易いということはない; int8 & int9 -> int10: この部屋着は働き易いということはない; int10 & fact1 -> int11: この満州移民はがめつい; int11 & fact6 -> 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. 仮定1: 以下のように仮定する。この部屋着は東風だ
2. 事実10と仮定1から、推論1: "「この料理長は入り口部であるということはないけれどそれは運び込む」ということは成り立たない"が導かれる
3. 推論1と事実8から、推論2: "あの赤目柳はハンドルネームである"が導かれる
4. 事実19から、推論3: "もしもあの赤目柳はハンドルネームならば「両国間でない」ということは正しい"が導かれる
5. 推論2と推論3から、推論4: "あの赤目柳は両国間だということはない"が導かれる
6. 事実3と事実12から、推論5: "あの赤目柳は両国間であるし加えてどぎつい"が導かれる
7. 推論5から、推論6: "あの赤目柳は両国間である"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この部屋着は東風でない"が導かれる
10. 事実13から、推論9: "もしこの部屋着は東風でないならそれは働き易いということはない"が導かれる
11. 推論8と推論9から、推論10: "この部屋着は働き易いということはない"が導かれる
12. 推論10と事実1から、推論11: "この満州移民はがめつい"が導かれる
13. 推論11と事実6から、仮説が導かれる

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