Artificial intelligent assistant

Do partially ordered rings that aren't totally-ordered, which nonetheless satisfy $x+y \geq 0 \rightarrow x \geq 0 \vee y \geq 0,$ exist? (All my rings are commutative and unital. I include $1 \geq 0$ as a partially-ordered ring axiom.) Let $R$ denote a partially-ordered ring. Observe that if $R$ is totally-ordered, then $R$ satisfies the following implication: $$(*) \qquad x+y \geq 0 \rightarrow x \geq 0 \vee y \geq 0.$$ Interestingly, the partially-ordered ring $\mathbb{R} \times \mathbb{R},$ which obviously fails to be totally-ordered, also fails to satisfy $(*).$ For example $(1,-1)+(-1,1) \geq (0,0)$, but $(1,-1) \not\geq (0,0)$ and $(-1,1) \not\geq (0,0).$ In fact, this will happen if we replace $\mathbb{R}$ by any totally-ordered ring. Nonetheless, I expect that partially ordered rings satisfying $(*)$ exist, which nonetheless aren't totally-ordered. Any ideas how to construct such a thing?

No; in fact this axiom is equivalent to the order being total. To see this, set $y = -x$. Then $x + (-x) = 0 \ge 0$, hence either $x \ge 0$ or $-x \ge 0$, and then setting $x = a - b$ shows that either $a \ge b$ or $b \ge a$.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy c149bee9c5b27df839c6fdcb511774e7