「大鴉であるとしたら「「ＤＣＳでなくておまけにローライフレックスだ」ということは確かである」ということは嘘な」ものはある
fact1: もしもあのオクトーバーは大鴉であるなら「それはＤＣＳであるしローライフレックスだ」ということは成り立たない fact2: もしなんらかのものは考え辛いなら「それは悲しない一方で参加し易い」ということは成り立たない fact3: 「もしも「大鴉だ」ということは偽でないとしたら「ＤＣＳでその上ローライフレックスだ」ということは間違いである」ものはある fact4: あのオクトーバーは大鴉だとすれば「それはＤＣＳでないけどローライフレックスである」ということは偽である fact5: 「もしぶな無垢材ならば痛め付けないし当該執行機関な」物はある fact6: 「もし仮に「対明貿易でない」ということは成り立たないなら「表われでないが引き出し易い」ということは成り立たない」ものはある fact7: もしもあのオクトーバーが大鴉であるとすればそれはＤＣＳでなくてその上ローライフレックスである fact8: 仮にその十一世紀代は疑似パートだとしたら「それは潔いということはないがしかし考え辛い」ということは誤っている
fact4 -> hypothesis;
もし「あの才女は考え辛い」ということは確かなら「悲しない一方で参加し易い」ということは事実と異なる
fact9 -> hypothesis;
$facts$ = fact1: もしもあのオクトーバーは大鴉であるなら「それはＤＣＳであるしローライフレックスだ」ということは成り立たない fact2: もしなんらかのものは考え辛いなら「それは悲しない一方で参加し易い」ということは成り立たない fact3: 「もしも「大鴉だ」ということは偽でないとしたら「ＤＣＳでその上ローライフレックスだ」ということは間違いである」ものはある fact4: あのオクトーバーは大鴉だとすれば「それはＤＣＳでないけどローライフレックスである」ということは偽である fact5: 「もしぶな無垢材ならば痛め付けないし当該執行機関な」物はある fact6: 「もし仮に「対明貿易でない」ということは成り立たないなら「表われでないが引き出し易い」ということは成り立たない」ものはある fact7: もしもあのオクトーバーが大鴉であるとすればそれはＤＣＳでなくてその上ローライフレックスである fact8: 仮にその十一世紀代は疑似パートだとしたら「それは潔いということはないがしかし考え辛い」ということは誤っている ; $hypothesis$ = 「大鴉であるとしたら「「ＤＣＳでなくておまけにローライフレックスだ」ということは確かである」ということは嘘な」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしもあのオクトーバーは大鴉であるなら「それはＤＣＳであるしローライフレックスだ」ということは成り立たない
事実2: もしなんらかのものは考え辛いなら「それは悲しない一方で参加し易い」ということは成り立たない
事実3: 「もしも「大鴉だ」ということは偽でないとしたら「ＤＣＳでその上ローライフレックスだ」ということは間違いである」ものはある
事実4: あのオクトーバーは大鴉だとすれば「それはＤＣＳでないけどローライフレックスである」ということは偽である
事実5: 「もしぶな無垢材ならば痛め付けないし当該執行機関な」物はある
事実6: 「もし仮に「対明貿易でない」ということは成り立たないなら「表われでないが引き出し易い」ということは成り立たない」ものはある
事実7: もしもあのオクトーバーが大鴉であるとすればそれはＤＣＳでなくてその上ローライフレックスである
事実8: 仮にその十一世紀代は疑似パートだとしたら「それは潔いということはないがしかし考え辛い」ということは誤っている

仮説: 「大鴉であるとしたら「「ＤＣＳでなくておまけにローライフレックスだ」ということは確かである」ということは嘘な」ものはある
1. 事実4から、仮説が導かれる

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