Solver focusing on logical deduction for La Chouette d'Or