「もしも分離独立するとしたら上場する」ものはある
fact1: 「仮にもどかしいとすれば零落する」物はある fact2: もしも何らかの物が唱え出せば揉める fact3: もし仮にあの皇位継承者が分離独立すれば上場する fact4: 仮になにかは上場すればそれはあぶれる fact5: あの皇位継承者が上場するならそれは区分所有する
fact3 -> hypothesis;
もし仮に「そのリバース工法は上場する」ということは確かならそれはあぶれる
fact6 -> hypothesis;
$facts$ = fact1: 「仮にもどかしいとすれば零落する」物はある fact2: もしも何らかの物が唱え出せば揉める fact3: もし仮にあの皇位継承者が分離独立すれば上場する fact4: 仮になにかは上場すればそれはあぶれる fact5: あの皇位継承者が上場するならそれは区分所有する ; $hypothesis$ = 「もしも分離独立するとしたら上場する」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「仮にもどかしいとすれば零落する」物はある
事実2: もしも何らかの物が唱え出せば揉める
事実3: もし仮にあの皇位継承者が分離独立すれば上場する
事実4: 仮になにかは上場すればそれはあぶれる
事実5: あの皇位継承者が上場するならそれは区分所有する

仮説: 「もしも分離独立するとしたら上場する」ものはある
1. 事実3から、仮説が導かれる

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