W5L1. Inference rules