Inference Rules With Example