You could have x be a partially observed RV with observed = [x1, x2, x3, nan, nan] and y a completely observed RV. Then the unobserved x will be inferred during mcmc sampling
@junpenglao has a nice talk showing an approach like this here: https://m.youtube.com/watch?v=nJ3XefApED0