Prove Statement using Inference Rules