A Heuristic Program for Solving a Scientific Inference Problem: Summary of Motivation and Implementation