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