answer(reachable, b).
answer(reachable, c).
answer(reachable, d).