It really, really was. It's the most basic type of logical implication.
It said: IF BatteryCycles THEN Exempt. BatteryCycles(Apple).
By first order logic modus ponens this results in:
Exempt(Apple)
This is basic math literacy by now. The fact that you do not seem aware and are being confidently rude about it is worth pointing out. Don't do that on HN. This is still a tech forum so try to respect rational discussion as we all abide by these shared rules in this space.