Abduction rains ⇒ wet wet rains A\frac{\text { rains } \Rightarrow \text { wet }\quad\text{wet}}{\text { rains }} A rains rains ⇒ wet wetA Explaining the current state by some given rule.