Having gone back and re-read all the posts on BABIP, my understanding is that what Dojji is saying is that Nava fits the profile of someone with a higher-than-normal BABIP because he swings hard and hits a lot of line drives. A side result of the swinging hard is more strikeouts. Thus, in Nava's case, a relationship between strikeouts and BABIP.
But that's a hypothetical, isn't it? Is it something that's borne out by comparing the stats for a lot of hitters with similar profiles?