MiniKanren First Commandment

To transform a function whose return value is a Boolean into return goal,

1. Replace cond with conde
2. Unnest each MiniKanren question and MiniKanren answer