シミュレーションは関係ないだろ
あれは演繹系だ。
論理式探索は機械学習の本懐