この機械金属工業はビオチンだ
fact1: この増がたどたどしくないけれどそれが敵中深いとしたらあの老中達は環境負荷量だということはない fact2: もし仮に「あの老中達は華々しくないかあるいは生え易いということはないかあるいは両方だ」ということは成り立たないならこの機械金属工業はビオチンである fact3: もしも「この増はたどたどしい」ということは正しいとしたらこの機械金属工業はたどたどしい fact4: もし仮にあの老中達が敵中深いかまたは環境負荷量であるかまたは両方であるとしたらたどたどしくない fact5: この機械金属工業は華々しくないとすれば「ビオチンである」ということは事実である fact6: もしもこの機械金属工業はたどたどしいとしたら「「あの老中達は敵中深いけれど環境負荷量でない」ということは間違いだ」ということは事実だ fact7: 環境負荷量は華々しくないか墨守しないかあるいは両方だ fact8: もしもあの老中達が華々しくないかもしくはそれは生え易くないかもしくは両方であるなら敵中深い fact9: あの過大評価はヒ船団でないかそれは限定出来ない fact10: あの老中達はたどたどしい fact11: あの老中達は生え易い fact12: あの老中達は進み易くない
void -> assump1: 以下のように仮定する。あの老中達は華々しいということはないかあるいは生え易いということはないか両方ともだ; fact8 & assump1 -> int1: あの老中達は敵中深い; int1 -> int2: あの老中達は敵中深いかもしくはそれは環境負荷量である; int2 & fact4 -> int3: あの老中達はたどたどしいということはない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの老中達は華々しくないかあるいはそれは生え易くないかあるいは両方だ」ということは嘘である; int5 & fact2 -> hypothesis;
あの老中達は華々しくないかまたは墨守しないかまたは両方である
fact14 -> int6: あの老中達が環境負荷量なら華々しくないかまたは墨守しないかもしくは両方である;
$facts$ = fact1: この増がたどたどしくないけれどそれが敵中深いとしたらあの老中達は環境負荷量だということはない fact2: もし仮に「あの老中達は華々しくないかあるいは生え易いということはないかあるいは両方だ」ということは成り立たないならこの機械金属工業はビオチンである fact3: もしも「この増はたどたどしい」ということは正しいとしたらこの機械金属工業はたどたどしい fact4: もし仮にあの老中達が敵中深いかまたは環境負荷量であるかまたは両方であるとしたらたどたどしくない fact5: この機械金属工業は華々しくないとすれば「ビオチンである」ということは事実である fact6: もしもこの機械金属工業はたどたどしいとしたら「「あの老中達は敵中深いけれど環境負荷量でない」ということは間違いだ」ということは事実だ fact7: 環境負荷量は華々しくないか墨守しないかあるいは両方だ fact8: もしもあの老中達が華々しくないかもしくはそれは生え易くないかもしくは両方であるなら敵中深い fact9: あの過大評価はヒ船団でないかそれは限定出来ない fact10: あの老中達はたどたどしい fact11: あの老中達は生え易い fact12: あの老中達は進み易くない ; $hypothesis$ = この機械金属工業はビオチンだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの老中達は華々しいということはないかあるいは生え易いということはないか両方ともだ; fact8 & assump1 -> int1: あの老中達は敵中深い; int1 -> int2: あの老中達は敵中深いかもしくはそれは環境負荷量である; int2 & fact4 -> int3: あの老中達はたどたどしいということはない; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの老中達は華々しくないかあるいはそれは生え易くないかあるいは両方だ」ということは嘘である; int5 & fact2 -> hypothesis; __PROVED__
事実1: この増がたどたどしくないけれどそれが敵中深いとしたらあの老中達は環境負荷量だということはない
事実2: もし仮に「あの老中達は華々しくないかあるいは生え易いということはないかあるいは両方だ」ということは成り立たないならこの機械金属工業はビオチンである
事実3: もしも「この増はたどたどしい」ということは正しいとしたらこの機械金属工業はたどたどしい
事実4: もし仮にあの老中達が敵中深いかまたは環境負荷量であるかまたは両方であるとしたらたどたどしくない
事実5: この機械金属工業は華々しくないとすれば「ビオチンである」ということは事実である
事実6: もしもこの機械金属工業はたどたどしいとしたら「「あの老中達は敵中深いけれど環境負荷量でない」ということは間違いだ」ということは事実だ
事実7: 環境負荷量は華々しくないか墨守しないかあるいは両方だ
事実8: もしもあの老中達が華々しくないかもしくはそれは生え易くないかもしくは両方であるなら敵中深い
事実9: あの過大評価はヒ船団でないかそれは限定出来ない
事実10: あの老中達はたどたどしい
事実11: あの老中達は生え易い
事実12: あの老中達は進み易くない

仮説: この機械金属工業はビオチンだ
1. 仮定1: 以下のように仮定する。あの老中達は華々しいということはないかあるいは生え易いということはないか両方ともだ
2. 事実8と仮定1から、推論1: "あの老中達は敵中深い"が導かれる
3. 推論1から、推論2: "あの老中達は敵中深いかもしくはそれは環境負荷量である"が導かれる
4. 推論2と事実4から、推論3: "あの老中達はたどたどしいということはない"が導かれる
5. 推論3と事実10から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの老中達は華々しくないかあるいはそれは生え易くないかあるいは両方だ」ということは嘘である"が導かれる
7. 推論5と事実2から、仮説が導かれる

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