Hypergeometric type identities in the $p$-adic setting and modular forms

We prove hypergeometric type identities for a function defined in terms of quotients of the $p$-adic gamma function. We use these identities to prove a supercongruence conjecture of Rodriguez-Villegas between a truncated ${}_4{F}_3$ hypergeometric series and the Fourier coefficients of certain weight four modular form.