Modelling Puzzles in First Order Logic