Premises:
If you have a cat, then it will chase mice.
You have a cat.
Conclusion:
Your cat will chase mice.
The Law of
?