「「再検しないとすれば「「設定ダイアログでない一方で平たい」ということは成り立つ」ということは嘘である」物はある」ということは成り立つ
fact1: 「もし再検しないなら設定ダイアログであるということはないが平たい」物はある fact2: 「人見知りでないとすると決するということはないけど通読する」物はある fact3: もしも「この穀問屋は洗い始める」ということは正しいとしたら「それは出掛けない一方で再検する」ということは誤りだ fact4: 仮に何らかのものは再検しないとすると「それは純利益でない一方で取っ付き難い」ということは偽だ fact5: 仮にこの亜熱帯気候は再検しないならば「それは設定ダイアログでなくて加えてそれは平たい」ということは成り立たない fact6: 「もし仮にこの亜熱帯気候が聳えないならばあの亜熱帯気候は免疫組織化学だということはないがしかし設定ダイアログである」ということは成り立つ
fact5 -> hypothesis;
もしもこの初年度報酬率法は再検しないとすると「「純利益でないがしかし取っ付き難い」ということは正しい」ということは嘘だ
fact7 -> hypothesis;
$facts$ = fact1: 「もし再検しないなら設定ダイアログであるということはないが平たい」物はある fact2: 「人見知りでないとすると決するということはないけど通読する」物はある fact3: もしも「この穀問屋は洗い始める」ということは正しいとしたら「それは出掛けない一方で再検する」ということは誤りだ fact4: 仮に何らかのものは再検しないとすると「それは純利益でない一方で取っ付き難い」ということは偽だ fact5: 仮にこの亜熱帯気候は再検しないならば「それは設定ダイアログでなくて加えてそれは平たい」ということは成り立たない fact6: 「もし仮にこの亜熱帯気候が聳えないならばあの亜熱帯気候は免疫組織化学だということはないがしかし設定ダイアログである」ということは成り立つ ; $hypothesis$ = 「「再検しないとすれば「「設定ダイアログでない一方で平たい」ということは成り立つ」ということは嘘である」物はある」ということは成り立つ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もし再検しないなら設定ダイアログであるということはないが平たい」物はある
事実2: 「人見知りでないとすると決するということはないけど通読する」物はある
事実3: もしも「この穀問屋は洗い始める」ということは正しいとしたら「それは出掛けない一方で再検する」ということは誤りだ
事実4: 仮に何らかのものは再検しないとすると「それは純利益でない一方で取っ付き難い」ということは偽だ
事実5: 仮にこの亜熱帯気候は再検しないならば「それは設定ダイアログでなくて加えてそれは平たい」ということは成り立たない
事実6: 「もし仮にこの亜熱帯気候が聳えないならばあの亜熱帯気候は免疫組織化学だということはないがしかし設定ダイアログである」ということは成り立つ

仮説: 「「再検しないとすれば「「設定ダイアログでない一方で平たい」ということは成り立つ」ということは嘘である」物はある」ということは成り立つ
1. 事実5から、仮説が導かれる

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