check datalog rules /1

[Mttbnchtt]

Check the following datalog rules:

RULE 1 if x is a triangle and y is a vertex of x and z is a vertex of x and not (y = z), then yz is a side of x

RULE 2 if x and y are two vertices of a triangle and x != y, then xy is a segment

RULE 3 if x and y are two vertices of a triangle z and x != y, then xy is a side of z

RULE 4 if rectilinear angle x is perfectly overlappable by rigid movement to rectilinear angle y, then the amount of rotation of x is equivalent (as an amount) as the amount of rotation of y

How to express the conclusions?

[Mttbnchtt]

Also add dlog rules connecting direct reference to reference.