あの黄染はイエロー・ゴールドだ
fact1: その寄せ書きはイエロー・ゴールドだ fact2: 「あの黄染は安全性等だ」ということは真実だ fact3: あの黄染はイエロー・ゴールドだ fact4: あの一枚刷りはイエロー・ゴールドである fact5: あの黄染は木らしい fact6: その霜降り状態はイエロー・ゴールドだ fact7: あのパブはイエロー・ゴールドである fact8: この十五歳年下はイエロー・ゴールドである fact9: あの黄染は迷走する fact10: この二極性はイエロー・ゴールドだ fact11: 「あの黄染は事例検討だ」ということは成り立つ fact12: あの黄染は利子率である fact13: あの黄染は大田文である fact14: 「あの黄染は憎し」ということは本当である fact15: あの外交関係はイエロー・ゴールドだ fact16: 「あの黄染は利き難い」ということは確かだ fact17: あの黄染は二銭銅貨である fact18: あの成分分析はイエロー・ゴールドだ fact19: あのブラックはイエロー・ゴールドだ fact20: その基本的方向はイエロー・ゴールドである
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: その寄せ書きはイエロー・ゴールドだ fact2: 「あの黄染は安全性等だ」ということは真実だ fact3: あの黄染はイエロー・ゴールドだ fact4: あの一枚刷りはイエロー・ゴールドである fact5: あの黄染は木らしい fact6: その霜降り状態はイエロー・ゴールドだ fact7: あのパブはイエロー・ゴールドである fact8: この十五歳年下はイエロー・ゴールドである fact9: あの黄染は迷走する fact10: この二極性はイエロー・ゴールドだ fact11: 「あの黄染は事例検討だ」ということは成り立つ fact12: あの黄染は利子率である fact13: あの黄染は大田文である fact14: 「あの黄染は憎し」ということは本当である fact15: あの外交関係はイエロー・ゴールドだ fact16: 「あの黄染は利き難い」ということは確かだ fact17: あの黄染は二銭銅貨である fact18: あの成分分析はイエロー・ゴールドだ fact19: あのブラックはイエロー・ゴールドだ fact20: その基本的方向はイエロー・ゴールドである ; $hypothesis$ = あの黄染はイエロー・ゴールドだ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: その寄せ書きはイエロー・ゴールドだ
事実2: 「あの黄染は安全性等だ」ということは真実だ
事実3: あの黄染はイエロー・ゴールドだ
事実4: あの一枚刷りはイエロー・ゴールドである
事実5: あの黄染は木らしい
事実6: その霜降り状態はイエロー・ゴールドだ
事実7: あのパブはイエロー・ゴールドである
事実8: この十五歳年下はイエロー・ゴールドである
事実9: あの黄染は迷走する
事実10: この二極性はイエロー・ゴールドだ
事実11: 「あの黄染は事例検討だ」ということは成り立つ
事実12: あの黄染は利子率である
事実13: あの黄染は大田文である
事実14: 「あの黄染は憎し」ということは本当である
事実15: あの外交関係はイエロー・ゴールドだ
事実16: 「あの黄染は利き難い」ということは確かだ
事実17: あの黄染は二銭銅貨である
事実18: あの成分分析はイエロー・ゴールドだ
事実19: あのブラックはイエロー・ゴールドだ
事実20: その基本的方向はイエロー・ゴールドである

仮説: あの黄染はイエロー・ゴールドだ
1. 事実3から、仮説が導かれる

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