If I judge the contact with the runner prevented her from making the play, that's right. What I tried to say earlier is that had INT been ruled in that situation (F6 not being prevented from making the play) it would have been erroneous by rule. Obviously, either call greatly affects the game.
As an official, what I would say is that it is or it isn't INT. You were initially arguing that it should be a DDB of which I completely disagree. If you see INT, it should be called right then and everything killed. The ability (or inability) of a Fielder to do something good or bad after it is irrelevant.
The rule as stated in every ruleset I've ever seen has always been predicated upon whether or not the fielder is impeded from making the play or prevented from making the play or attempting to make the play or some flavor thereof. Does contact determine INT? No, it does not, that's even stated in the NCAA rules with the last portion about "..and being prevented from doing so."
You can have INT with or without contact except in one ruleset as far as I know (IFA/VTD). Conversely, you can have just softball being played with or without contact.
So, I guess I'm attempting to understand when INT occurs, what is your point of making it a DDB? I cannot follow the logic.