Induktion durch Reflexion automatisieren