Create an AI to solve a puzzle (by deduction)
What you are trying to achieve sounds a lot like inductive logic programming:


  Given an encoding of the known background knowledge and a set of examples represented as a logical database of facts, an ILP system will derive a hypothesised logic program which entails all the positive and none of the negative examples.