  Let $p$ be an odd prime and $r\geq 1$. Suppose that $\alpha$ is a $p$-adic
integer with $\alpha\equiv2a\pmod p$ for some $1\leq a<(p+r)/(2r+1)$. We
confirm a conjecture of Sun and prove that
$${}_{2r+1}F_{2r}\bigg[\begin{matrix}\alpha&\alpha&\ldots&\alpha\\
&1&\ldots&1\end{matrix}\bigg|\,1\bigg]_{p-1}\equiv0\pmod{p^2},$$ where the
truncated hypergeometric series $$
{}_{q+1}F_{q}\bigg[\begin{matrix}x_0&x_1&\ldots&x_{q}\\
&y_1&\ldots&y_q\end{matrix}\bigg|\,z\bigg]_{n}:=\sum_{k=0}^n\frac{(x_0)_k(x_1)_k\cdots(x_q)_k}{(y_1)_k\cdot
(y_q)_k}\cdot\frac{z^k}{k!}. $$
