Application of Covariant Analytic Mechanics With Differential Forms to Gravity With Dirac Field