Legal Rules, Legal Reasoning, and Nonmonotonic Logic