Prove Formal Logic With Inference Examples