path(a, b).
path(b, c).
path(a, c).