Leram - Reasoning Backwards: Sherlock Holmes' Guide to Effective Problem Solving