もし "b" が "f" のハードコア述語ならば、"s" をランダムな種とし、