んで重要なのは「わかっていない」の探索方法
たとえば、目の前にりんごがあれば
目の前に有る果物は何？は、りんご、で確定する
目の前に無い果物は何？は探索範囲が次元爆発する