全体の学習アルゴリズム

1. 正例集合の一つの要素と背景知識から拡張逆伴意法に基づき最弱仮説を生成 する。
2. 最弱仮説によって形成される候補仮説束内を、Progolの A^*-like探索アル ゴリズムにしたがって探索し、最適な仮説を選択する。
   1. もし適切な仮説が得られない場合、1.に戻り部分演繹をやり直す。
   2. 部分演繹のすべての可能性を確かめても適切な仮説が得られない場合、 部分演繹によって得られる結果を解仮説とする。

3. 得られた仮説によって説明される正例を正例集合から取り除く。

この処理を、正例集合が空になるまで繰り返すことで仮説を生成する。