もし仮にあの価格統制がしっくりするとしたらあの変調方式は手緩い
fact1: もしこのビジネスシーンが本当らしいならそれは憎くない一方で鋳造する fact2: もし仮にあの変調方式が鋳造するならばあのビジネスシーンは本当らしい fact3: 何かは忌まわしくないとするとそれは手緩い fact4: もし仮に「なにがしかのものは鋳造するけれど付き難くない」ということは成り立つということはないとするとそれは憎い fact5: あの価格統制がしっくりするとしたら黙秘権である fact6: 仮にこのビジネスシーンが憎いならあの変調方式は忌まわしいということはなくて更にそれは本当らしくない fact7: あの価格統制は手緩いということはない fact8: あの価格統制は付き難い fact9: もし何かは黙秘権でないならそれはしっくりするか忌まわしい fact10: もし仮にあの価格統制は黙秘権であるとすれば「このビジネスシーンは鋳造するけど付き難くない」ということは嘘である
void -> assump1: 以下のように仮定する。あの価格統制はしっくりする; fact5 & assump1 -> int1: あの価格統制は黙秘権だ; int1 & fact10 -> int2: 「このビジネスシーンは鋳造するがしかし付き難くない」ということは成り立たない; fact4 -> int3: 「このビジネスシーンは鋳造するけど付き難いということはない」ということは成り立たないならばそれは憎い; int2 & int3 -> int4: このビジネスシーンは憎い; int4 & fact6 -> int5: あの変調方式は忌まわしくなくてかつ本当らしくない; int5 -> int6: あの変調方式は忌まわしくない; fact3 -> int7: もしもあの変調方式が忌まわしいということはないならそれは手緩い; int6 & int7 -> int8: 「あの変調方式は手緩い」ということは本当である; [assump1] & int8 -> hypothesis;
「あの総会決議は忌まわしい」ということは正しい
fact12 -> int9: もし仮にあの価格統制は黙秘権でないならそれはしっくりするかもしくは忌まわしいかまたは両方である;
$facts$ = fact1: もしこのビジネスシーンが本当らしいならそれは憎くない一方で鋳造する fact2: もし仮にあの変調方式が鋳造するならばあのビジネスシーンは本当らしい fact3: 何かは忌まわしくないとするとそれは手緩い fact4: もし仮に「なにがしかのものは鋳造するけれど付き難くない」ということは成り立つということはないとするとそれは憎い fact5: あの価格統制がしっくりするとしたら黙秘権である fact6: 仮にこのビジネスシーンが憎いならあの変調方式は忌まわしいということはなくて更にそれは本当らしくない fact7: あの価格統制は手緩いということはない fact8: あの価格統制は付き難い fact9: もし何かは黙秘権でないならそれはしっくりするか忌まわしい fact10: もし仮にあの価格統制は黙秘権であるとすれば「このビジネスシーンは鋳造するけど付き難くない」ということは嘘である ; $hypothesis$ = もし仮にあの価格統制がしっくりするとしたらあの変調方式は手緩い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの価格統制はしっくりする; fact5 & assump1 -> int1: あの価格統制は黙秘権だ; int1 & fact10 -> int2: 「このビジネスシーンは鋳造するがしかし付き難くない」ということは成り立たない; fact4 -> int3: 「このビジネスシーンは鋳造するけど付き難いということはない」ということは成り立たないならばそれは憎い; int2 & int3 -> int4: このビジネスシーンは憎い; int4 & fact6 -> int5: あの変調方式は忌まわしくなくてかつ本当らしくない; int5 -> int6: あの変調方式は忌まわしくない; fact3 -> int7: もしもあの変調方式が忌まわしいということはないならそれは手緩い; int6 & int7 -> int8: 「あの変調方式は手緩い」ということは本当である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もしこのビジネスシーンが本当らしいならそれは憎くない一方で鋳造する
事実2: もし仮にあの変調方式が鋳造するならばあのビジネスシーンは本当らしい
事実3: 何かは忌まわしくないとするとそれは手緩い
事実4: もし仮に「なにがしかのものは鋳造するけれど付き難くない」ということは成り立つということはないとするとそれは憎い
事実5: あの価格統制がしっくりするとしたら黙秘権である
事実6: 仮にこのビジネスシーンが憎いならあの変調方式は忌まわしいということはなくて更にそれは本当らしくない
事実7: あの価格統制は手緩いということはない
事実8: あの価格統制は付き難い
事実9: もし何かは黙秘権でないならそれはしっくりするか忌まわしい
事実10: もし仮にあの価格統制は黙秘権であるとすれば「このビジネスシーンは鋳造するけど付き難くない」ということは嘘である

仮説: もし仮にあの価格統制がしっくりするとしたらあの変調方式は手緩い
1. 仮定1: 以下のように仮定する。あの価格統制はしっくりする
2. 事実5と仮定1から、推論1: "あの価格統制は黙秘権だ"が導かれる
3. 推論1と事実10から、推論2: "「このビジネスシーンは鋳造するがしかし付き難くない」ということは成り立たない"が導かれる
4. 事実4から、推論3: "「このビジネスシーンは鋳造するけど付き難いということはない」ということは成り立たないならばそれは憎い"が導かれる
5. 推論2と推論3から、推論4: "このビジネスシーンは憎い"が導かれる
6. 推論4と事実6から、推論5: "あの変調方式は忌まわしくなくてかつ本当らしくない"が導かれる
7. 推論5から、推論6: "あの変調方式は忌まわしくない"が導かれる
8. 事実3から、推論7: "もしもあの変調方式が忌まわしいということはないならそれは手緩い"が導かれる
9. 推論6と推論7から、推論8: "「あの変調方式は手緩い」ということは本当である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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