A parametric congruence motivated by Orr's identity

For any $m,n\in \mathbb{N}=\{0,1,2\dots \}$, the truncated hypergeometric series ${}_{m+1}{F}_m$ is defined by $${}_{m+1}{F}_m[\begin{array}{cccc}{x}_0& x_1& \dots & x_m\\ & y_1& \dots & y_m\end{array}\mid z{]}_n=\sum _{k=0}^n\frac{(x_0{)}_k(x_1{)}_k\cdots (x_m{)}_k}{(y_1{)}_k\cdots (y_m{)}_k}\cdot \frac{z^k}{k!},$$ where $(x{)}_k=x(x+1)\cdots (x+k-1)$ is the Pochhammer symbol. Let $p$ be an odd prime. For $\alpha ,z\in {\mathbb{Z}}_p$ with $\langle -\alpha\rangle_p\equiv0\pmod{2}$,where$\langle x\rangle_p$ denotes the least nonnegative residue of $x$ modulo $p$ for any $x\in {\mathbb{Z}}_p$, we mainly prove the following congruence motivated by Orr’s identity: $${}_2{F}_1[\begin{array}{cc}\frac{1}{2}\alpha & \frac{3}{2}-\frac{1}{2}\alpha \\ & 1\end{array}\mid z{]}_{p-1}{}_2{F}_1[\begin{array}{cc}\frac{1}{2}\alpha & \frac{1}{2}-\frac{1}{2}\alpha \\ & 1\end{array}\mid z{]}_{p-1}\equiv {}_3{F}_2[\begin{array}{ccc}\alpha & 2-\alpha & \frac{1}{2}\\ & 1& 1\end{array}\mid z{]}_{p-1}(\mathrm{m}\mathrm{o}\mathrm{d}{p}^2)\mathrm{.}$$ As a corollary, for any positive integer $b$ with $p\equiv \pm 1(\mathrm{m}\mathrm{o}\mathrm{d}b)$ and $\langle -1/b\rangle_p\equiv0\pmod{2}$,wededucethat$${\sum }_{k=0}^{p-1}(b^{2}k+b-1)\frac{\left(\genfrac{}{}{0px}{}{2k}{k}\right)}{4^k}\left(\genfrac{}{}{0px}{}{-1\mathrm{/}b}{k}\right)\left(\genfrac{}{}{0px}{}{1\mathrm{/}b-1}{k}\right)\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{p}^2)\mathrm{.}$$ This confirms a conjectural congruence of the second author.