もしあの諸政党が形成出来るとしたらその巨は進化出来ない
fact1: 「なんらかの物は進化し易くないし責め苛まない」ということは事実と異なるとするとそれは進化出来ない fact2: 仮にあの気体分子が進化し易くないし責め苛まないとすればあの諸政党は形成出来ない fact3: 仮にあの気体分子が進化出来ないとしたらその巨は先駆けるけれどそれは進化出来ない fact4: 「あの気体分子は進化し易くないけど責め苛む」ということは誤りだ
void -> assump1: 以下のように仮定する。あの気体分子は進化し易いということはないしかつ責め苛まない; fact2 & assump1 -> int1: あの諸政党は形成出来ない; void -> assump2: 以下のように仮定する。「あの諸政党は形成出来る」ということは正しい; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの気体分子は進化し易くないしまた責め苛むということはない」ということは誤りである; fact1 -> int4: 「「あの気体分子は進化し易くないしその上責め苛まない」ということは事実だ」ということは成り立つということはないとすればそれは進化出来ない; int3 & int4 -> int5: 「あの気体分子は進化出来ない」ということは正しい; int5 & fact3 -> int6: その巨は先駆ける一方で進化出来ない; int6 -> int7: その巨は進化出来るということはない; [assump2] & int7 -> hypothesis;
$facts$ = fact1: 「なんらかの物は進化し易くないし責め苛まない」ということは事実と異なるとするとそれは進化出来ない fact2: 仮にあの気体分子が進化し易くないし責め苛まないとすればあの諸政党は形成出来ない fact3: 仮にあの気体分子が進化出来ないとしたらその巨は先駆けるけれどそれは進化出来ない fact4: 「あの気体分子は進化し易くないけど責め苛む」ということは誤りだ ; $hypothesis$ = もしあの諸政党が形成出来るとしたらその巨は進化出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの気体分子は進化し易いということはないしかつ責め苛まない; fact2 & assump1 -> int1: あの諸政党は形成出来ない; void -> assump2: 以下のように仮定する。「あの諸政党は形成出来る」ということは正しい; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あの気体分子は進化し易くないしまた責め苛むということはない」ということは誤りである; fact1 -> int4: 「「あの気体分子は進化し易くないしその上責め苛まない」ということは事実だ」ということは成り立つということはないとすればそれは進化出来ない; int3 & int4 -> int5: 「あの気体分子は進化出来ない」ということは正しい; int5 & fact3 -> int6: その巨は先駆ける一方で進化出来ない; int6 -> int7: その巨は進化出来るということはない; [assump2] & int7 -> hypothesis; __PROVED__
事実1: 「なんらかの物は進化し易くないし責め苛まない」ということは事実と異なるとするとそれは進化出来ない
事実2: 仮にあの気体分子が進化し易くないし責め苛まないとすればあの諸政党は形成出来ない
事実3: 仮にあの気体分子が進化出来ないとしたらその巨は先駆けるけれどそれは進化出来ない
事実4: 「あの気体分子は進化し易くないけど責め苛む」ということは誤りだ

仮説: もしあの諸政党が形成出来るとしたらその巨は進化出来ない
1. 仮定1: 以下のように仮定する。あの気体分子は進化し易いということはないしかつ責め苛まない
2. 事実2と仮定1から、推論1: "あの諸政党は形成出来ない"が導かれる
3. 仮定2: 以下のように仮定する。「あの諸政党は形成出来る」ということは正しい
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「あの気体分子は進化し易くないしまた責め苛むということはない」ということは誤りである"が導かれる
6. 事実1から、推論4: "「「あの気体分子は進化し易くないしその上責め苛まない」ということは事実だ」ということは成り立つということはないとすればそれは進化出来ない"が導かれる
7. 推論3と推論4から、推論5: "「あの気体分子は進化出来ない」ということは正しい"が導かれる
8. 推論5と事実3から、推論6: "その巨は先駆ける一方で進化出来ない"が導かれる
9. 推論6から、推論7: "その巨は進化出来るということはない"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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