Induction wet rains rains ⇒ wet \frac{\text { wet }\quad\text{rains}}{\text { rains } \Rightarrow \text { wet }} rains ⇒ wet wet rains Learning general rules from examples.