Question

If x => y and y => z, which statement must be true?

Answer 1

The operator
`\geq` is transitive, which means exactly that

`x \geq y,\quad y\geq z \implies x \geq z`

That's the only thing you can deduce from your statement.