Mechanization of Inductive Inference in Organic Chemistry