Exploring the use of deduction rules for puzzle solving.