Einstein-Yang-Mills-Dirac theory