I'd suggest first rephrasing it in English as a sentence that uses more and more of the formal logic expressions: something like
"For any towers x and y, x and y have the same color"
(Here I'm taking advantage of the fact that it is equivalent to say that a whole class of elements shares a property and to say that every pair of elements in that class shares the property).
then we can further rephrase this as
"For any towers x and y, x has color c if and only if y has color c"
and finally
"For any towers x and y, any c is the color of x if and only if it is the color of y"
Then we need to write that symbolically, remembering that quantifying over certain types of things (towers in our case) can be written as quantification over an implication:
"For all x and y, if x and y are towers, then any c is the color of x if and only if it is the color of y"
$\forall x \forall y \left ( \left ( \operatorname{Tower}(x) \& \operatorname{Tower}(y) \right ) \longrightarrow \forall c \left ( \operatorname{Color}(x,c)\leftrightarrow \operatorname{Color}(y,c) \right ) \right )$
If you want, you can pull the quantification over the $c$ variable out front:
$\forall x \forall y \forall c \left ( \left ( \operatorname{Tower}(x)\& \operatorname{Tower}(y) \right ) \longrightarrow \left ( \operatorname{Color}(x,c)\leftrightarrow \operatorname{Color}(y,c)\right ) \right )$
"There are at least two objects satisfying P" can be expressed in first-order logic as $$\exists x \exists y (x \neq y \wedge P(x) \wedge P(y))$$
"There are exactly two objects satisfying P" can be dealt with by first rephrasing to "There are at least two objects satisfying P, but there are not at least three objects satisfying P" and using the above idea, or alternatively as $$\exists x \exists y ((x \neq y \wedge P(x) \wedge P(y)) \wedge \forall z (P(z) \rightarrow (z=x \vee z=y)))$$
Best Answer
I would rephrase it in English like this: For all individuals x, the individual is Spartan if and only if the individual is bold. So in logic, it would be: $\forall x [B(x) \Leftrightarrow S(x)]$.
Your statement says something only about a single $x$ existing, not about all of them.