「もし「被合併法人でないけれど恒常化する」ということは成り立たないとしたら習い出さない」物はある
fact1: もし仮にその藻類は恒常化しないなら「習い出さない」ということは確かだ fact2: 仮に「その藻類は被合併法人でないけどそれは恒常化する」ということは偽だとすればそれは習い出さない fact3: もし仮に「なにかはＨ形断面でないけど出勤日だ」ということは間違いだとすればそれは被合併法人でない fact4: 仮に「「その藻類は被合併法人でないけれどそれは恒常化する」ということは真実である」ということは誤っているとするとそれは習い出す fact5: 「もし「「狙い易いということはないがしかし再編する」ということは誤っていない」ということは事実と異なれば「末恐ろしい」ということは事実な」ものはある
fact2 -> hypothesis;
fact2 -> hypothesis;
もし仮に「「あのメインＣはＨ形断面でないけど出勤日だ」ということは成り立つ」ということは成り立たないならば被合併法人でない
fact6 -> hypothesis;
$facts$ = fact1: もし仮にその藻類は恒常化しないなら「習い出さない」ということは確かだ fact2: 仮に「その藻類は被合併法人でないけどそれは恒常化する」ということは偽だとすればそれは習い出さない fact3: もし仮に「なにかはＨ形断面でないけど出勤日だ」ということは間違いだとすればそれは被合併法人でない fact4: 仮に「「その藻類は被合併法人でないけれどそれは恒常化する」ということは真実である」ということは誤っているとするとそれは習い出す fact5: 「もし「「狙い易いということはないがしかし再編する」ということは誤っていない」ということは事実と異なれば「末恐ろしい」ということは事実な」ものはある ; $hypothesis$ = 「もし「被合併法人でないけれど恒常化する」ということは成り立たないとしたら習い出さない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮にその藻類は恒常化しないなら「習い出さない」ということは確かだ
事実2: 仮に「その藻類は被合併法人でないけどそれは恒常化する」ということは偽だとすればそれは習い出さない
事実3: もし仮に「なにかはＨ形断面でないけど出勤日だ」ということは間違いだとすればそれは被合併法人でない
事実4: 仮に「「その藻類は被合併法人でないけれどそれは恒常化する」ということは真実である」ということは誤っているとするとそれは習い出す
事実5: 「もし「「狙い易いということはないがしかし再編する」ということは誤っていない」ということは事実と異なれば「末恐ろしい」ということは事実な」ものはある

仮説: 「もし「被合併法人でないけれど恒常化する」ということは成り立たないとしたら習い出さない」物はある
1. 事実2から、仮説が導かれる

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