r(a, b).
r(a, c).
