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