「仮に「詳説する」ということは本当だとすると予見出来ない」ものはある
fact1: もしもそのリアリズム学派が予見出来るとすれば輝かしくない fact2: もしもそのリアリズム学派が取り易いとすれば予見出来ない fact3: 「もし仮に与え得れば暴れ出さない」物はある fact4: そのリアリズム学派が厳しいならば詳説しない fact5: もしその筆箱は詳説するとしたら「次書でない」ということは確かである fact6: もしある物が拙いとすれば炒めない fact7: 「もし目合うとしたら恋しかない」ものはある fact8: 「併設するとしたら物珍しくない」物はある fact9: 「もし仮に詳説するなら予見出来る」ものはある fact10: 「もしも和解だとしたら存置しない」ものはある fact11: もしそのリアリズム学派が可決成立すれば悪縁でない fact12: 「もしも長期欠席であるなら狙い易くない」物はある fact13: 仮にそのリアリズム学派が詳説するとすれば予見出来ない fact14: 「もしも比例付与するとすると軋まない」ものはある fact15: 「もし復旧するとしたら久しない」物はある fact16: 「もし利用するとすると薄くない」物はある fact17: そのリアリズム学派は詳説するなら「予見出来る」ということは事実と異ならない fact18: 「もしも支払い基金であるとすれば荒っぽくない」物はある fact19: 「仮に市長選であるとしたら可決成立しない」ものはある
fact13 -> hypothesis;
あの先手先手が拙いとするとそれは炒めない
fact20 -> hypothesis;
$facts$ = fact1: もしもそのリアリズム学派が予見出来るとすれば輝かしくない fact2: もしもそのリアリズム学派が取り易いとすれば予見出来ない fact3: 「もし仮に与え得れば暴れ出さない」物はある fact4: そのリアリズム学派が厳しいならば詳説しない fact5: もしその筆箱は詳説するとしたら「次書でない」ということは確かである fact6: もしある物が拙いとすれば炒めない fact7: 「もし目合うとしたら恋しかない」ものはある fact8: 「併設するとしたら物珍しくない」物はある fact9: 「もし仮に詳説するなら予見出来る」ものはある fact10: 「もしも和解だとしたら存置しない」ものはある fact11: もしそのリアリズム学派が可決成立すれば悪縁でない fact12: 「もしも長期欠席であるなら狙い易くない」物はある fact13: 仮にそのリアリズム学派が詳説するとすれば予見出来ない fact14: 「もしも比例付与するとすると軋まない」ものはある fact15: 「もし復旧するとしたら久しない」物はある fact16: 「もし利用するとすると薄くない」物はある fact17: そのリアリズム学派は詳説するなら「予見出来る」ということは事実と異ならない fact18: 「もしも支払い基金であるとすれば荒っぽくない」物はある fact19: 「仮に市長選であるとしたら可決成立しない」ものはある ; $hypothesis$ = 「仮に「詳説する」ということは本当だとすると予見出来ない」ものはある ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: もしもそのリアリズム学派が予見出来るとすれば輝かしくない
事実2: もしもそのリアリズム学派が取り易いとすれば予見出来ない
事実3: 「もし仮に与え得れば暴れ出さない」物はある
事実4: そのリアリズム学派が厳しいならば詳説しない
事実5: もしその筆箱は詳説するとしたら「次書でない」ということは確かである
事実6: もしある物が拙いとすれば炒めない
事実7: 「もし目合うとしたら恋しかない」ものはある
事実8: 「併設するとしたら物珍しくない」物はある
事実9: 「もし仮に詳説するなら予見出来る」ものはある
事実10: 「もしも和解だとしたら存置しない」ものはある
事実11: もしそのリアリズム学派が可決成立すれば悪縁でない
事実12: 「もしも長期欠席であるなら狙い易くない」物はある
事実13: 仮にそのリアリズム学派が詳説するとすれば予見出来ない
事実14: 「もしも比例付与するとすると軋まない」ものはある
事実15: 「もし復旧するとしたら久しない」物はある
事実16: 「もし利用するとすると薄くない」物はある
事実17: そのリアリズム学派は詳説するなら「予見出来る」ということは事実と異ならない
事実18: 「もしも支払い基金であるとすれば荒っぽくない」物はある
事実19: 「仮に市長選であるとしたら可決成立しない」ものはある

仮説: 「仮に「詳説する」ということは本当だとすると予見出来ない」ものはある
1. 事実13から、仮説が導かれる

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