  We prove that a normal subloop $X$ of a Moufang loop $Q$ induces an abelian
congruence of $Q$ if and only if each inner mapping of $Q$ restricts to an
automorphism of $X$ and $u(xy) = (uy)x$ for all $x,y\in X$ and $u\in Q$. The
former condition can be omitted when $X$ is $3$-divisible. This
characterization is then used to show that classically solvable finite
$3$-divisible Moufang loops are congruence solvable.
