Rule V eligibility

So this is all based on the following two selection criteria per the Wikipedia page:
Players are eligible for selection in the Rule 5 draft who are not on their major league organization's 40-man roster and:
were 18 or younger on the June 5 preceding their signing and this is the fifth Rule 5 draft upcoming; or
were 19 or older on the June 5 preceding their signing and this is the fourth Rule 5 draft upcoming.

Maybe I should re-write the constitution to just reflect this wording, but how it stands now is basically a translation away from using the date of each player's signing (since this would be awfully tedious to find and record for every player) and towards just age. Another way to say this would be:

(1) 4 years of minor league service time as denoted in the “1st pro year” column of the league spreadsheet and was 19 or older on June 5th of their 1st pro year
(2) 5 years of minor league service time and was 18 or younger on June 5th of their first pro year --- Here I did realize I needed to remove "or more" - thanks for pointing that out. The spreadsheet formula is unaffected by this, it was just a matter of wording.

I am confused on this change in the fact that a few of my players rule 5 eligibility has changed. For rule (1) is it 4 years of minor league service time OR MORE, and (2) is it 5 years service time OR MORE. For example some of the guys that were previously eligible whose first year of minor league service was 2013, just to experiment I changed this to 2012 and they become ineligible for rule 5 draft even though they theoretically have one more year of service time.