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

The Law of what

makes this argument true