%r3_3.gl

true => e(1,2), e(2,3), e(1,3).
r(X,Y),r(Y,Z),r(X,Z) => goal.       
g(X,Y),g(Y,Z),g(X,Z) => goal.      
e(X,Y) => r(X,Y);g(X,Y).