We show that weakening the
hypotheses of right alternative rings to the three identities
(ab,c,d) + (a,b,[c,d]) = a(b,c,d) + (a,c,d)b
(a,a,a) = 0
([a,b],b,b) = 0
for all a, b, c, d in the ring will not lead to any new simple rings. In fact, the ideal
generated by each associator of the form (a,b,b) is a nilpotent ideal of index at most
three. Our proofs require characteristic ≠2, ≠3.