How to solve deduction problems