あの組織大綱は経営行動だ
fact1: もし仮にあの行政執行が上昇し易くないしその上亜酸化窒素でないならば「それは認知件数だということはない」ということは成り立つ fact2: 仮にその死亡記事が真白くないかまたは見舞い客でないかあるいは両方だとしたらあの町会は上昇し易くない fact3: あの組織大綱は上昇し易いしまたそれは認知件数である fact4: もし仮にその代替フロンが上昇し易くないとしたらあの行政執行は上昇し易いということはない fact5: 「「あの行政執行は上昇し易くない」ということは確かであるならばあの組織大綱は上昇し易い」ということは本当だ fact6: もしその代替フロンが上昇し易くないならあの行政執行は上昇し易くないしおまけに亜酸化窒素でない fact7: 仮にあの行政執行が認知件数でないとしたらあの組織大綱は経営行動で認知件数だ fact8: なにがしかのものは上昇し易いとすると「それが辞すしその上住み易い」ということは誤りだ fact9: 「その代替フロンは辞すし住み易い」ということは成り立たない fact10: もしもなにかは各分野でないかまたはそれが十対であるならばあの町会は取り囲むということはない fact11: その代替フロンは辞さないが住み易い fact12: もし仮にあの町会が上昇し易くないし取り囲まないならあの行政執行は上昇し易くない fact13: その死亡記事は見舞い客でない fact14: もしあの行政執行は認知件数だということはないとしたら「あの組織大綱は認知件数である」ということは嘘でない fact15: その代替フロンは辞さない fact16: 「あの組織大綱は認知件数である」ということは成り立つ fact17: 「各分野でないかあるいは十対であるかもしくは両方ともである」物はある fact18: あの行政執行は上昇し易いということはない fact19: もしその代替フロンが経営行動だということはないとすればあの組織大綱は辞すし経営行動だ fact20: もしその代替フロンは上昇し易いなら「それは辞すしおまけに住み易い」ということは嘘だ fact21: あの行政執行は上昇し易いけれど亜酸化窒素でないならそれは認知件数でない fact22: もし上昇し易いものは亜酸化窒素であるとすれば経営行動でない fact23: もしもとある物は上昇し易いなら「辞すということはないしまたそれは住み易い」ということは事実と異なる
fact23 -> int1: もしもその代替フロンは上昇し易いとしたら「それは辞さないけど住み易い」ということは間違いだ; void -> assump1: 以下のように仮定する。その代替フロンは上昇し易い; int1 & assump1 -> int2: 「その代替フロンは辞さないがしかし住み易い」ということは間違っている; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: その代替フロンは上昇し易いということはない; int4 & fact6 -> int5: 「あの行政執行は上昇し易いということはなくて亜酸化窒素でない」ということは確かである; int5 & fact1 -> int6: あの行政執行は認知件数でない; int6 & fact7 -> int7: あの組織大綱は経営行動であるしおまけにそれは認知件数だ; int7 -> hypothesis;
「あの組織大綱は経営行動でない」ということは事実である
fact26 -> int8: あの組織大綱が上昇し易くてまた亜酸化窒素だとしたら「経営行動でない」ということは本当だ; fact30 -> int9: その死亡記事は真白いということはないか見舞い客でないかまたは両方だ; fact27 & int9 -> int10: あの町会は上昇し易いということはない; fact29 & fact24 -> int11: あの町会は取り囲むということはない; int10 & int11 -> int12: あの町会は上昇し易くないものであってそれに取り囲むということはない; fact25 & int12 -> int13: あの行政執行は上昇し易くない; fact28 & int13 -> int14: あの組織大綱は上昇し易い;
$facts$ = fact1: もし仮にあの行政執行が上昇し易くないしその上亜酸化窒素でないならば「それは認知件数だということはない」ということは成り立つ fact2: 仮にその死亡記事が真白くないかまたは見舞い客でないかあるいは両方だとしたらあの町会は上昇し易くない fact3: あの組織大綱は上昇し易いしまたそれは認知件数である fact4: もし仮にその代替フロンが上昇し易くないとしたらあの行政執行は上昇し易いということはない fact5: 「「あの行政執行は上昇し易くない」ということは確かであるならばあの組織大綱は上昇し易い」ということは本当だ fact6: もしその代替フロンが上昇し易くないならあの行政執行は上昇し易くないしおまけに亜酸化窒素でない fact7: 仮にあの行政執行が認知件数でないとしたらあの組織大綱は経営行動で認知件数だ fact8: なにがしかのものは上昇し易いとすると「それが辞すしその上住み易い」ということは誤りだ fact9: 「その代替フロンは辞すし住み易い」ということは成り立たない fact10: もしもなにかは各分野でないかまたはそれが十対であるならばあの町会は取り囲むということはない fact11: その代替フロンは辞さないが住み易い fact12: もし仮にあの町会が上昇し易くないし取り囲まないならあの行政執行は上昇し易くない fact13: その死亡記事は見舞い客でない fact14: もしあの行政執行は認知件数だということはないとしたら「あの組織大綱は認知件数である」ということは嘘でない fact15: その代替フロンは辞さない fact16: 「あの組織大綱は認知件数である」ということは成り立つ fact17: 「各分野でないかあるいは十対であるかもしくは両方ともである」物はある fact18: あの行政執行は上昇し易いということはない fact19: もしその代替フロンが経営行動だということはないとすればあの組織大綱は辞すし経営行動だ fact20: もしその代替フロンは上昇し易いなら「それは辞すしおまけに住み易い」ということは嘘だ fact21: あの行政執行は上昇し易いけれど亜酸化窒素でないならそれは認知件数でない fact22: もし上昇し易いものは亜酸化窒素であるとすれば経営行動でない fact23: もしもとある物は上昇し易いなら「辞すということはないしまたそれは住み易い」ということは事実と異なる ; $hypothesis$ = あの組織大綱は経営行動だ ; $proof$ = 
fact23 -> int1: もしもその代替フロンは上昇し易いとしたら「それは辞さないけど住み易い」ということは間違いだ; void -> assump1: 以下のように仮定する。その代替フロンは上昇し易い; int1 & assump1 -> int2: 「その代替フロンは辞さないがしかし住み易い」ということは間違っている; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: その代替フロンは上昇し易いということはない; int4 & fact6 -> int5: 「あの行政執行は上昇し易いということはなくて亜酸化窒素でない」ということは確かである; int5 & fact1 -> int6: あの行政執行は認知件数でない; int6 & fact7 -> int7: あの組織大綱は経営行動であるしおまけにそれは認知件数だ; int7 -> 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: もしもとある物は上昇し易いなら「辞すということはないしまたそれは住み易い」ということは事実と異なる

仮説: あの組織大綱は経営行動だ
1. 事実23から、推論1: "もしもその代替フロンは上昇し易いとしたら「それは辞さないけど住み易い」ということは間違いだ"が導かれる
2. 仮定1: 以下のように仮定する。その代替フロンは上昇し易い
3. 推論1と仮定1から、推論2: "「その代替フロンは辞さないがしかし住み易い」ということは間違っている"が導かれる
4. 推論2と事実11から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その代替フロンは上昇し易いということはない"が導かれる
6. 推論4と事実6から、推論5: "「あの行政執行は上昇し易いということはなくて亜酸化窒素でない」ということは確かである"が導かれる
7. 推論5と事実1から、推論6: "あの行政執行は認知件数でない"が導かれる
8. 推論6と事実7から、推論7: "あの組織大綱は経営行動であるしおまけにそれは認知件数だ"が導かれる
9. 推論7から、仮説が導かれる

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