$$\displaylines{
((\forall a.\lnot R(a,a)) \wedge\cr
(\forall b\forall c.R(b,c)\to\lnot R(c,b))\wedge\cr
(\forall d\forall e\forall f.(R(d,e)\wedge R(e,f)\to R(d,f))) \to\cr
(\forall x\exists y.R(y,x))
}$$