<<NCGB.m;

SetNonCommutative[A,B,C,m1,m2,n1,n2,a,b,c,e,f,g];
FAC = {A**m1 - m1**a - m2**f**c,
       A**m2 - m2**e,
       B - m1**b - m2**f,
       -c + C**m1,
       -g + C**m2,
       n1**m1 - 1,
       n1**m2,
       n2**m1,
       n2**m2 - 1,
       m1**n1 + m2**n2 - 1};

SetKnowns[A,B,C];
SetUnknowns[m1,m2,n1,n2,a,b,c,e,f,g];
FACans1=NCProcess[FAC,2,"FACans1"];
Put[Definition[FACans1],"FACans1.result"];
