スウェーデンの本家REASONのDiscovering Reasonというチュートリアルが大変参考になるので翻訳してみます。シリーズ全部を訳すほど続けられるかわからないので期待しないでください。意訳の部分が多くなると思うので、正確に知りたければ翻訳を注意深く見るより本家の英語を読みましょう。()内は、日本語にするにあたって足りない部分や、単に訳せなかったところです。