その音日記が強制移住するけどブルネットでないとすればそれは三部構成だ
fact1: ある物が改易するけど最新機能でないとしたら分厚い fact2: もし仮になんらかの物が強制移住するしそれにブルネットだとすると「それは三部構成でない」ということは誤っている fact3: もしもその音日記が強制移住するししかもブルネットだとすると三部構成である fact4: もし何らかの物は強制移住するけどブルネットでないならそれは三部構成である fact5: もし仮に麗々しいものはフラワーアレンジメントでないとしたらそれは借り易い fact6: もし何らかのものが勝ち過ぎるが赤っぽくないとすれば「それは下ろし易い」ということは成り立つ fact7: 仮にこの積極的例外は卯年であるがしかし連続使用でないとすれば大々王である
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: ある物が改易するけど最新機能でないとしたら分厚い fact2: もし仮になんらかの物が強制移住するしそれにブルネットだとすると「それは三部構成でない」ということは誤っている fact3: もしもその音日記が強制移住するししかもブルネットだとすると三部構成である fact4: もし何らかの物は強制移住するけどブルネットでないならそれは三部構成である fact5: もし仮に麗々しいものはフラワーアレンジメントでないとしたらそれは借り易い fact6: もし何らかのものが勝ち過ぎるが赤っぽくないとすれば「それは下ろし易い」ということは成り立つ fact7: 仮にこの積極的例外は卯年であるがしかし連続使用でないとすれば大々王である ; $hypothesis$ = その音日記が強制移住するけどブルネットでないとすればそれは三部構成だ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: ある物が改易するけど最新機能でないとしたら分厚い
事実2: もし仮になんらかの物が強制移住するしそれにブルネットだとすると「それは三部構成でない」ということは誤っている
事実3: もしもその音日記が強制移住するししかもブルネットだとすると三部構成である
事実4: もし何らかの物は強制移住するけどブルネットでないならそれは三部構成である
事実5: もし仮に麗々しいものはフラワーアレンジメントでないとしたらそれは借り易い
事実6: もし何らかのものが勝ち過ぎるが赤っぽくないとすれば「それは下ろし易い」ということは成り立つ
事実7: 仮にこの積極的例外は卯年であるがしかし連続使用でないとすれば大々王である

仮説: その音日記が強制移住するけどブルネットでないとすればそれは三部構成だ
1. 事実4から、仮説が導かれる

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