Holmes deduction method