Solving Situation Puzzles with Large Language Model and External Reformulation