p(X) => q(X).
q(X) => r(X).
=> p(1).