"If x, then y" is one implication, so that's first-order reasoning.

"If y, then z" is second-order reasoning.

Wouldn't "if x, then y because z" be second order?

As I see it, z is a different type than x and y. It’s the causal arrow linking x to y. The existence of a second causal arrow would make it second-order.