NL interaction and skillful hinting are known as cornerstones for successful tutoring. Despite these insights, a combination of these two factors is widely under-represented in the field. Building a tutorial system for teaching mathematical proof techniques, we aim at an elaborate hinting algorithm which integrates problem solving, discourse contexts and accurate domain knowledge into a socratic hinting strategy.