Internal consistency and the inner model hypothesis