Naturally Ordered Semigroup Axioms imply Commutativity

Theorem
Consider the naturally ordered semigroup axioms:

Axioms $\text {NO} 1$, $\text {NO} 2$ and $\text {NO} 3$ together imply the commutativity of the naturally ordered semigroup $\struct {S, \circ, \preceq}$.