もし仮にあの自己株式は二歳時でないとすると「その信号ラインはＣＨ４でない一方で傾倒だ」ということは成り立たない
fact1: その決定根拠はしょぼくれない fact2: あの自己株式は二歳時だとしたら「その信号ラインはＣＨ４でない一方で傾倒である」ということは嘘だ fact3: 青臭いものはＣＨ４である fact4: もしもなんらかのものは二歳時であるとしたら大逆転だ fact5: 仮に「その決定根拠はＣＨ４でなくてしかも青臭くない」ということは偽だとしたら二歳時である fact6: 仮にあの自己株式が大逆転でないが住戸であるならばその主題役割は青臭い fact7: もし仮にあの自己株式が二歳時でないならそれは大逆転でなくて更に住戸である fact8: 仮に「その主題役割はＣＨ４だ」ということは成り立つとすれば「その信号ラインはＣＨ４でないけれど傾倒だ」ということは事実と異なる fact9: 「その信号ラインはＣＨ４であるしまた傾倒である」ということは成り立たない fact10: もしもこの開封が落葉するならそれは住戸である
void -> assump1: 以下のように仮定する。あの自己株式は二歳時であるということはない; fact7 & assump1 -> int1: あの自己株式は大逆転でないが住戸だ; int1 & fact6 -> int2: その主題役割は青臭い; fact3 -> int3: その主題役割は青臭いとすれば「それはＣＨ４だ」ということは確かである; int2 & int3 -> int4: その主題役割はＣＨ４である; int4 & fact8 -> int5: 「その信号ラインはＣＨ４でないがしかし傾倒だ」ということは間違っている; [assump1] & int5 -> hypothesis;
その決定根拠はしょぼくれないが大逆転だ
fact11 -> int6: 仮にその決定根拠が二歳時ならば大逆転だ;
$facts$ = fact1: その決定根拠はしょぼくれない fact2: あの自己株式は二歳時だとしたら「その信号ラインはＣＨ４でない一方で傾倒である」ということは嘘だ fact3: 青臭いものはＣＨ４である fact4: もしもなんらかのものは二歳時であるとしたら大逆転だ fact5: 仮に「その決定根拠はＣＨ４でなくてしかも青臭くない」ということは偽だとしたら二歳時である fact6: 仮にあの自己株式が大逆転でないが住戸であるならばその主題役割は青臭い fact7: もし仮にあの自己株式が二歳時でないならそれは大逆転でなくて更に住戸である fact8: 仮に「その主題役割はＣＨ４だ」ということは成り立つとすれば「その信号ラインはＣＨ４でないけれど傾倒だ」ということは事実と異なる fact9: 「その信号ラインはＣＨ４であるしまた傾倒である」ということは成り立たない fact10: もしもこの開封が落葉するならそれは住戸である ; $hypothesis$ = もし仮にあの自己株式は二歳時でないとすると「その信号ラインはＣＨ４でない一方で傾倒だ」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの自己株式は二歳時であるということはない; fact7 & assump1 -> int1: あの自己株式は大逆転でないが住戸だ; int1 & fact6 -> int2: その主題役割は青臭い; fact3 -> int3: その主題役割は青臭いとすれば「それはＣＨ４だ」ということは確かである; int2 & int3 -> int4: その主題役割はＣＨ４である; int4 & fact8 -> int5: 「その信号ラインはＣＨ４でないがしかし傾倒だ」ということは間違っている; [assump1] & int5 -> hypothesis; __PROVED__
事実1: その決定根拠はしょぼくれない
事実2: あの自己株式は二歳時だとしたら「その信号ラインはＣＨ４でない一方で傾倒である」ということは嘘だ
事実3: 青臭いものはＣＨ４である
事実4: もしもなんらかのものは二歳時であるとしたら大逆転だ
事実5: 仮に「その決定根拠はＣＨ４でなくてしかも青臭くない」ということは偽だとしたら二歳時である
事実6: 仮にあの自己株式が大逆転でないが住戸であるならばその主題役割は青臭い
事実7: もし仮にあの自己株式が二歳時でないならそれは大逆転でなくて更に住戸である
事実8: 仮に「その主題役割はＣＨ４だ」ということは成り立つとすれば「その信号ラインはＣＨ４でないけれど傾倒だ」ということは事実と異なる
事実9: 「その信号ラインはＣＨ４であるしまた傾倒である」ということは成り立たない
事実10: もしもこの開封が落葉するならそれは住戸である

仮説: もし仮にあの自己株式は二歳時でないとすると「その信号ラインはＣＨ４でない一方で傾倒だ」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの自己株式は二歳時であるということはない
2. 事実7と仮定1から、推論1: "あの自己株式は大逆転でないが住戸だ"が導かれる
3. 推論1と事実6から、推論2: "その主題役割は青臭い"が導かれる
4. 事実3から、推論3: "その主題役割は青臭いとすれば「それはＣＨ４だ」ということは確かである"が導かれる
5. 推論2と推論3から、推論4: "その主題役割はＣＨ４である"が導かれる
6. 推論4と事実8から、推論5: "「その信号ラインはＣＨ４でないがしかし傾倒だ」ということは間違っている"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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