完全な淘汰システムってわけじゃなくて（まあ最終的には淘汰されるんだが）
山や川を越えるといった本来は最初に排除されるであろう推論を排除せず
かといって一切排除しないなんてのも計算量諸々で現実的じゃないので……

頭の良いアルコリズム万歳
ここら辺のアルコリズムも推論出来るはずなんだけど袋小路に入りがち