p(A,B,C,D) :- (q(A) -> r(A,B)) // (s(C) -> ((t(C,D1) -> u(D1,D2)) // (v(C,E1) -> w(E1,E2))) -> x(D2,E2,D)).

q(1).
r(1,2).
s(2).
t(2,4).
u(4,5).
v(2,3).
w(3,7).
x(5,7,35).

?- p(A,B,C,D).