Discovering Formulas Of Inductive Reasoning