この量子井戸層はオーケー＿ＲＥＣである一方で堪り易くない
fact1: なんらかの物が味付けするということはないとすれば芳しい fact2: あの生活形態はオーケー＿ＲＥＣだ fact3: そのコントロール名は思考するし加えて解け易い fact4: もしそのコントロール名が思考しないならこの原作者は思考するけど促進出来るということはない fact5: もし仮になんらかの物が促進出来ないとしたらそれは断行すし成立し難い fact6: あの脾は読み進めなくて促進出来ない fact7: この量子井戸層はオーケー＿ＲＥＣであるが成立し難くない fact8: もしそのコントロール名がオーケー＿ＲＥＣでないならばこの量子井戸層はオーケー＿ＲＥＣであるけど堪り易くない fact9: この原作者は思考する fact10: 仮にあの脾が読み進めないしそれに促進出来ないとすればあの原作者は促進出来ない fact11: 仮にあの脾が読み進めなくて成立し難くないならこの原作者は成立し難くない fact12: もしもそのコントロール名は思考するということはないとすれば「この量子井戸層はオーケー＿ＲＥＣである一方で堪り易いということはない」ということは成り立つということはない fact13: もし仮にそのコントロール名が思考するしオーケー＿ＲＥＣだとすればこの原作者は成立し難くない fact14: 「この原作者は堪り易い」ということは確かである fact15: そのコントロール名は倫理的帝国主義でない fact16: この量子井戸層がオーケー＿ＲＥＣでそれが促進出来ればそのコントロール名は堪り易くない
fact3 -> int1: そのコントロール名は思考する; void -> assump1: 以下のように仮定する。そのコントロール名はオーケー＿ＲＥＣだ; int1 & assump1 -> int2: そのコントロール名は思考するし加えてオーケー＿ＲＥＣである; int2 & fact13 -> int3: この原作者は成立し難いということはない; fact10 & fact6 -> int4: 「この原作者は促進出来るということはない」ということは成り立つ; fact5 -> int5: もしこの原作者が促進出来ないなら断行すし成立し難い; int4 & int5 -> int6: この原作者は断行すし成立し難い; int6 -> int7: この原作者は成立し難い; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: そのコントロール名はオーケー＿ＲＥＣでない; int9 & fact8 -> hypothesis;
「この量子井戸層はオーケー＿ＲＥＣであるけど堪り易くない」ということは本当だということはない
$facts$ = fact1: なんらかの物が味付けするということはないとすれば芳しい fact2: あの生活形態はオーケー＿ＲＥＣだ fact3: そのコントロール名は思考するし加えて解け易い fact4: もしそのコントロール名が思考しないならこの原作者は思考するけど促進出来るということはない fact5: もし仮になんらかの物が促進出来ないとしたらそれは断行すし成立し難い fact6: あの脾は読み進めなくて促進出来ない fact7: この量子井戸層はオーケー＿ＲＥＣであるが成立し難くない fact8: もしそのコントロール名がオーケー＿ＲＥＣでないならばこの量子井戸層はオーケー＿ＲＥＣであるけど堪り易くない fact9: この原作者は思考する fact10: 仮にあの脾が読み進めないしそれに促進出来ないとすればあの原作者は促進出来ない fact11: 仮にあの脾が読み進めなくて成立し難くないならこの原作者は成立し難くない fact12: もしもそのコントロール名は思考するということはないとすれば「この量子井戸層はオーケー＿ＲＥＣである一方で堪り易いということはない」ということは成り立つということはない fact13: もし仮にそのコントロール名が思考するしオーケー＿ＲＥＣだとすればこの原作者は成立し難くない fact14: 「この原作者は堪り易い」ということは確かである fact15: そのコントロール名は倫理的帝国主義でない fact16: この量子井戸層がオーケー＿ＲＥＣでそれが促進出来ればそのコントロール名は堪り易くない ; $hypothesis$ = この量子井戸層はオーケー＿ＲＥＣである一方で堪り易くない ; $proof$ = 
fact3 -> int1: そのコントロール名は思考する; void -> assump1: 以下のように仮定する。そのコントロール名はオーケー＿ＲＥＣだ; int1 & assump1 -> int2: そのコントロール名は思考するし加えてオーケー＿ＲＥＣである; int2 & fact13 -> int3: この原作者は成立し難いということはない; fact10 & fact6 -> int4: 「この原作者は促進出来るということはない」ということは成り立つ; fact5 -> int5: もしこの原作者が促進出来ないなら断行すし成立し難い; int4 & int5 -> int6: この原作者は断行すし成立し難い; int6 -> int7: この原作者は成立し難い; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: そのコントロール名はオーケー＿ＲＥＣでない; int9 & fact8 -> hypothesis; __PROVED__
事実1: なんらかの物が味付けするということはないとすれば芳しい
事実2: あの生活形態はオーケー＿ＲＥＣだ
事実3: そのコントロール名は思考するし加えて解け易い
事実4: もしそのコントロール名が思考しないならこの原作者は思考するけど促進出来るということはない
事実5: もし仮になんらかの物が促進出来ないとしたらそれは断行すし成立し難い
事実6: あの脾は読み進めなくて促進出来ない
事実7: この量子井戸層はオーケー＿ＲＥＣであるが成立し難くない
事実8: もしそのコントロール名がオーケー＿ＲＥＣでないならばこの量子井戸層はオーケー＿ＲＥＣであるけど堪り易くない
事実9: この原作者は思考する
事実10: 仮にあの脾が読み進めないしそれに促進出来ないとすればあの原作者は促進出来ない
事実11: 仮にあの脾が読み進めなくて成立し難くないならこの原作者は成立し難くない
事実12: もしもそのコントロール名は思考するということはないとすれば「この量子井戸層はオーケー＿ＲＥＣである一方で堪り易いということはない」ということは成り立つということはない
事実13: もし仮にそのコントロール名が思考するしオーケー＿ＲＥＣだとすればこの原作者は成立し難くない
事実14: 「この原作者は堪り易い」ということは確かである
事実15: そのコントロール名は倫理的帝国主義でない
事実16: この量子井戸層がオーケー＿ＲＥＣでそれが促進出来ればそのコントロール名は堪り易くない

仮説: この量子井戸層はオーケー＿ＲＥＣである一方で堪り易くない
1. 事実3から、推論1: "そのコントロール名は思考する"が導かれる
2. 仮定1: 以下のように仮定する。そのコントロール名はオーケー＿ＲＥＣだ
3. 推論1と仮定1から、推論2: "そのコントロール名は思考するし加えてオーケー＿ＲＥＣである"が導かれる
4. 推論2と事実13から、推論3: "この原作者は成立し難いということはない"が導かれる
5. 事実10と事実6から、推論4: "「この原作者は促進出来るということはない」ということは成り立つ"が導かれる
6. 事実5から、推論5: "もしこの原作者が促進出来ないなら断行すし成立し難い"が導かれる
7. 推論4と推論5から、推論6: "この原作者は断行すし成立し難い"が導かれる
8. 推論6から、推論7: "この原作者は成立し難い"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "そのコントロール名はオーケー＿ＲＥＣでない"が導かれる
11. 推論9と事実8から、仮説が導かれる

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