q1(a,b,c).


p1(a,a).
p1(b,b).
p1(c,c).
p1(d,X).
p1(X,Y) -> p1(f(X),Y).
q1(X,Y,Z),p1(f(X),XX),p1(f(Y),YY),p1(f(Z),ZZ) -> q2(XX,YY,ZZ).

p2(a,a).
p2(b,b).
p2(c,c).
p2(d,X).
p2(X,Y) -> p2(f(X),Y).
q2(X,Y,Z),p2(f(X),XX),p2(f(Y),YY),p2(f(Z),ZZ) -> q3(XX,YY,ZZ).

p3(a,a).
p3(b,b).
p3(c,c).
p3(d,X).
p3(X,Y) -> p3(f(X),Y).
q3(X,Y,Z),p3(f(X),XX),p3(f(Y),YY),p3(f(Z),ZZ) -> q4(XX,YY,ZZ).


p4(a,a).
p4(b,b).
p4(c,c).
p4(d,X).
p4(X,Y) -> p4(f(X),Y).
q4(X,Y,Z),p4(f(X),XX),p4(f(Y),YY),p4(f(Z),ZZ) -> q5(XX,YY,ZZ).

p5(a,a).
p5(b,b).
p5(c,c).
p5(d,X).
p5(X,Y) -> p5(f(X),Y).
q5(X,Y,Z),p5(f(X),XX),p5(f(Y),YY),p5(f(Z),ZZ) -> q6(XX,YY,ZZ).

p6(a,a).
p6(b,b).
p6(c,c).
p6(d,X).
p6(X,Y) -> p6(f(X),Y).
q6(X,Y,Z),p6(f(X),XX),p6(f(Y),YY),p6(f(Z),ZZ) -> q7(XX,YY,ZZ).

p7(a,a).
p7(b,b).
p7(c,c).
p7(d,X).
p7(X,Y) -> p7(f(X),Y).
q7(X,Y,Z),p7(f(X),XX),p7(f(Y),YY),p7(f(Z),ZZ) -> q8(XX,YY,ZZ).

p8(a,a).
p8(b,b).
p8(c,c).
p8(d,X).
p8(X,Y) -> p8(f(X),Y).
q8(X,Y,Z),p8(f(X),XX),p8(f(Y),YY),p8(f(Z),ZZ) -> q9(XX,YY,ZZ).

p9(a,a).
p9(b,b).
p9(c,c).
p9(d,X).
p9(X,Y) -> p9(f(X),Y).
q9(X,Y,Z),p9(f(X),XX),p9(f(Y),YY),p9(f(Z),ZZ) -> q10(XX,YY,ZZ).

p10(a,a).
p10(b,b).
p10(c,c).
p10(d,X).
p10(X,Y) -> p10(f(X),Y).
q10(X,Y,Z),p10(f(X),XX),p10(f(Y),YY),p10(f(Z),ZZ) -> q11(XX,YY,ZZ).



q11(X,Y,Z) -> [].