Using Reasoning Patterns to Help Humans Solve Complex Games