Suppose $\mathbb{R}[X]$ is the normal multivariate polynomial ring where $X = x_1...x_n$. $\mathbb{R}[X]_t$ is the truncated ring such that $\mathbb{R}[X]_t =\left\{f: f \in \mathbb{R}[X], deg(f) \leq t \right \}$.

Suppose $I_t$ is a subspace of $\mathbb{R}[X]_t$ that satisfies the "real radical-like" properties:

(1) If $f \in I_t, g \in I_t$, then $f + g \in I_t$.

(2) If $f \in I_t, g \in \mathbb{R}[X]_t, deg(fg)\leq t$, then $fg \in I_t.$

(3) If $\displaystyle \sum_i p_i^2 \in I_t$, then $p_i \in I_t$

Now suppose $I = \langle I_t \rangle$ ($I$ is the ideal generated by $I_t$), my question is: Is $I$ still a real radical ideal?

In other words, I want to prove: $\displaystyle \sum_i p_i^2 \in I \Rightarrow p_i \in I$ or find a counter example which I don't know how.