Translate this logical statement into natural language.

Here is a somewhat more idiomatic restatement, I think: “If $x$ is less than $10$, then every $y$ less than $x$ is less than 9. (It’s common, whether it’s a good idea or not, to leave out the universal $\forall$ quantifier when expressing universally quantified implications, either notationally or in English.)

David appended a similar restatement to his answer in his “Simplified:” sentence.

See https://academic.oup.com/teamat/article-abstract/35/1/41/2461443?redirectedFrom=fulltext

For all $x$ if $x$ is less than $10$ then it must be the case that for all $y$ such that $y$ is less than $x$ it is the case that $y$ is less than $9$.

Simplified: If an integer $y$ is less than an integer that is less than 10, then $y$ is less than $9$.

(A true statement, by the way, so long as we're dealing with integers... but that wasn't part of your question.)

I would say that the formula holds for $x,y \in \mathbb{Z}$, then it would mean that for every integer which is smaller that $10$, there exists (or you can pick) infinitely many integers which are smaller than $9$.