「勇ましくらないとすると「進化し易いということはないけど比例代表選挙だ」ということは本当でない」ものはある
fact1: 「仮に「勇ましい」ということは成り立てば「進化し易くないがしかし比例代表選挙だ」ということは嘘である」物はある fact2: 「勇ましくらないとすれば「進化し易くて比例代表選挙である」ということは確かでない」物はある fact3: この滝口は進化し易くないならば「八席であるしその上便意だ」ということは成り立たない fact4: 仮にこの滝口が考え直さないならば花時でない一方で比例代表選挙だ fact5: もし仮にこの滝口は勇ましいとしたら「進化し易くないが比例代表選挙である」ということは偽だ fact6: もしもこの用務員は引き落とさないとしたら「勇ましくらないけどヘビースモーカーである」ということは成り立たない fact7: もし仮にこの滝口は勇ましくらないとしたら「それは進化し易くて加えて比例代表選挙だ」ということは間違いである fact8: もしもこの滝口は白兎だとしたら「勇ましいということはない一方で浮き沈みする」ということは嘘だ fact9: 何かは打ち難くないとしたら「それは願い求めないしおまけに進化し易い」ということは間違いだ fact10: 「この滝口は勇ましくらない」ということは事実だとしたら「それは進化し易くないが比例代表選挙だ」ということは成り立たない fact11: 「仮に勇ましくらないとすると進化し易くないし比例代表選挙である」物はある
fact10 -> hypothesis;
fact10 -> hypothesis;
もしもあの工作員は打ち難くないとすると「それは願い求めないけど進化し易い」ということは事実でない
fact12 -> hypothesis;
$facts$ = fact1: 「仮に「勇ましい」ということは成り立てば「進化し易くないがしかし比例代表選挙だ」ということは嘘である」物はある fact2: 「勇ましくらないとすれば「進化し易くて比例代表選挙である」ということは確かでない」物はある fact3: この滝口は進化し易くないならば「八席であるしその上便意だ」ということは成り立たない fact4: 仮にこの滝口が考え直さないならば花時でない一方で比例代表選挙だ fact5: もし仮にこの滝口は勇ましいとしたら「進化し易くないが比例代表選挙である」ということは偽だ fact6: もしもこの用務員は引き落とさないとしたら「勇ましくらないけどヘビースモーカーである」ということは成り立たない fact7: もし仮にこの滝口は勇ましくらないとしたら「それは進化し易くて加えて比例代表選挙だ」ということは間違いである fact8: もしもこの滝口は白兎だとしたら「勇ましいということはない一方で浮き沈みする」ということは嘘だ fact9: 何かは打ち難くないとしたら「それは願い求めないしおまけに進化し易い」ということは間違いだ fact10: 「この滝口は勇ましくらない」ということは事実だとしたら「それは進化し易くないが比例代表選挙だ」ということは成り立たない fact11: 「仮に勇ましくらないとすると進化し易くないし比例代表選挙である」物はある ; $hypothesis$ = 「勇ましくらないとすると「進化し易いということはないけど比例代表選挙だ」ということは本当でない」ものはある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「仮に「勇ましい」ということは成り立てば「進化し易くないがしかし比例代表選挙だ」ということは嘘である」物はある
事実2: 「勇ましくらないとすれば「進化し易くて比例代表選挙である」ということは確かでない」物はある
事実3: この滝口は進化し易くないならば「八席であるしその上便意だ」ということは成り立たない
事実4: 仮にこの滝口が考え直さないならば花時でない一方で比例代表選挙だ
事実5: もし仮にこの滝口は勇ましいとしたら「進化し易くないが比例代表選挙である」ということは偽だ
事実6: もしもこの用務員は引き落とさないとしたら「勇ましくらないけどヘビースモーカーである」ということは成り立たない
事実7: もし仮にこの滝口は勇ましくらないとしたら「それは進化し易くて加えて比例代表選挙だ」ということは間違いである
事実8: もしもこの滝口は白兎だとしたら「勇ましいということはない一方で浮き沈みする」ということは嘘だ
事実9: 何かは打ち難くないとしたら「それは願い求めないしおまけに進化し易い」ということは間違いだ
事実10: 「この滝口は勇ましくらない」ということは事実だとしたら「それは進化し易くないが比例代表選挙だ」ということは成り立たない
事実11: 「仮に勇ましくらないとすると進化し易くないし比例代表選挙である」物はある

仮説: 「勇ましくらないとすると「進化し易いということはないけど比例代表選挙だ」ということは本当でない」ものはある
1. 事実10から、仮説が導かれる

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