  Through a systematic approach on generating Wilf-Zeilberger-pairs, we prove
some hypergeometric identities conjectures due to Z.W. Sun, J. Guillera and Y.
Zhao etc., including two Ramanujan-$1/\pi^4$, one $1/\pi^3$ formulas as well as
a remarkable series for $\zeta(5)$.
