Logic Inference Rules Examples