その就業機会は餓鬼っぽくない
fact1: もし仮にあの分子中が葦会宣言であるとしたらこの勤務地限定社員は夢想する fact2: 仮にあの分子中が葦会宣言でないならばこの高度技術はＣエイトα‐γ分子でないしその上それは我でない fact3: もしこの高度技術がＣエイトα‐γ分子でないけどそれは我であるなら乗り易い fact4: 「「この勤務地限定社員は低くてかつ夢想する」ということは正しい」ということは誤りである fact5: 仮にこの高度技術が乗り易いとするとその就業機会は餓鬼っぽい fact6: もし仮になんらかのものがＣエイトα‐γ分子であるということはないしそれに我であるということはないとするとそれは乗り易い fact7: 「「この勤務地限定社員は低いししかもそれは夢想する」ということは偽だとすればこの勤務地限定社員は夢想しない」ということは本当である fact8: もし仮にＣエイトα‐γ分子が我だということはないとすればそれは乗り易い
void -> assump1: 以下のように仮定する。あの分子中は葦会宣言である; fact1 & assump1 -> int1: 「この勤務地限定社員は夢想する」ということは本当である; fact7 & fact4 -> int2: この勤務地限定社員は夢想しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの分子中は葦会宣言でない; int4 & fact2 -> int5: この高度技術はＣエイトα‐γ分子でないしさらに我でない; fact6 -> int6: もしこの高度技術はＣエイトα‐γ分子でなくてしかも我でないとしたらそれは乗り易い; int5 & int6 -> int7: この高度技術は乗り易い; int7 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にあの分子中が葦会宣言であるとしたらこの勤務地限定社員は夢想する fact2: 仮にあの分子中が葦会宣言でないならばこの高度技術はＣエイトα‐γ分子でないしその上それは我でない fact3: もしこの高度技術がＣエイトα‐γ分子でないけどそれは我であるなら乗り易い fact4: 「「この勤務地限定社員は低くてかつ夢想する」ということは正しい」ということは誤りである fact5: 仮にこの高度技術が乗り易いとするとその就業機会は餓鬼っぽい fact6: もし仮になんらかのものがＣエイトα‐γ分子であるということはないしそれに我であるということはないとするとそれは乗り易い fact7: 「「この勤務地限定社員は低いししかもそれは夢想する」ということは偽だとすればこの勤務地限定社員は夢想しない」ということは本当である fact8: もし仮にＣエイトα‐γ分子が我だということはないとすればそれは乗り易い ; $hypothesis$ = その就業機会は餓鬼っぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの分子中は葦会宣言である; fact1 & assump1 -> int1: 「この勤務地限定社員は夢想する」ということは本当である; fact7 & fact4 -> int2: この勤務地限定社員は夢想しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの分子中は葦会宣言でない; int4 & fact2 -> int5: この高度技術はＣエイトα‐γ分子でないしさらに我でない; fact6 -> int6: もしこの高度技術はＣエイトα‐γ分子でなくてしかも我でないとしたらそれは乗り易い; int5 & int6 -> int7: この高度技術は乗り易い; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にあの分子中が葦会宣言であるとしたらこの勤務地限定社員は夢想する
事実2: 仮にあの分子中が葦会宣言でないならばこの高度技術はＣエイトα‐γ分子でないしその上それは我でない
事実3: もしこの高度技術がＣエイトα‐γ分子でないけどそれは我であるなら乗り易い
事実4: 「「この勤務地限定社員は低くてかつ夢想する」ということは正しい」ということは誤りである
事実5: 仮にこの高度技術が乗り易いとするとその就業機会は餓鬼っぽい
事実6: もし仮になんらかのものがＣエイトα‐γ分子であるということはないしそれに我であるということはないとするとそれは乗り易い
事実7: 「「この勤務地限定社員は低いししかもそれは夢想する」ということは偽だとすればこの勤務地限定社員は夢想しない」ということは本当である
事実8: もし仮にＣエイトα‐γ分子が我だということはないとすればそれは乗り易い

仮説: その就業機会は餓鬼っぽくない
1. 仮定1: 以下のように仮定する。あの分子中は葦会宣言である
2. 事実1と仮定1から、推論1: "「この勤務地限定社員は夢想する」ということは本当である"が導かれる
3. 事実7と事実4から、推論2: "この勤務地限定社員は夢想しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの分子中は葦会宣言でない"が導かれる
6. 推論4と事実2から、推論5: "この高度技術はＣエイトα‐γ分子でないしさらに我でない"が導かれる
7. 事実6から、推論6: "もしこの高度技術はＣエイトα‐γ分子でなくてしかも我でないとしたらそれは乗り易い"が導かれる
8. 推論5と推論6から、推論7: "この高度技術は乗り易い"が導かれる
9. 推論7と事実5から、仮説が否定される

よって、仮説が否定されました。