first stage of logic is complete and it can solve simple puzzles