「もし仮に錆無いならば「参加し易い」ということは事実である」ものはある
fact1: 「「仮に「長期投資家だ」ということは成り立つとしたら「相争う」ということは成り立つ」物はある」ということは間違いでない fact2: 仮にあの公同が王宮なら協調する fact3: 「もし滞留なら描出する」物はある fact4: 「もし仮に退色し易いなら狂信な」ものはある fact5: 「もし物寂しいとしたら隠顕する」ものはある fact6: 仮にあるものは本件最高裁決定であるなら労働問題である fact7: 仮にあの公同が錆無いとしたら参加し易い
fact7 -> hypothesis;
「本件最高裁決定だとすると労働問題な」ものはある
fact8 -> int1: もしこの抗日は本件最高裁決定であるとしたらそれは労働問題だ; int1 -> hypothesis;
$facts$ = fact1: 「「仮に「長期投資家だ」ということは成り立つとしたら「相争う」ということは成り立つ」物はある」ということは間違いでない fact2: 仮にあの公同が王宮なら協調する fact3: 「もし滞留なら描出する」物はある fact4: 「もし仮に退色し易いなら狂信な」ものはある fact5: 「もし物寂しいとしたら隠顕する」ものはある fact6: 仮にあるものは本件最高裁決定であるなら労働問題である fact7: 仮にあの公同が錆無いとしたら参加し易い ; $hypothesis$ = 「もし仮に錆無いならば「参加し易い」ということは事実である」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「「仮に「長期投資家だ」ということは成り立つとしたら「相争う」ということは成り立つ」物はある」ということは間違いでない
事実2: 仮にあの公同が王宮なら協調する
事実3: 「もし滞留なら描出する」物はある
事実4: 「もし仮に退色し易いなら狂信な」ものはある
事実5: 「もし物寂しいとしたら隠顕する」ものはある
事実6: 仮にあるものは本件最高裁決定であるなら労働問題である
事実7: 仮にあの公同が錆無いとしたら参加し易い

仮説: 「もし仮に錆無いならば「参加し易い」ということは事実である」ものはある
1. 事実7から、仮説が導かれる

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