Solving probability puzzles with logic toolkit