No, there aren’t any first-order examples. The first order theory of the reals in this signature is decidabledecidable, so its truth values are determined by arithmetic, which is invariant under forcing. (More to the point, effectively decidable things are just straightforwardly decided by ZFC... that's one way we can conceive of 'deciding' them.)
